Persons RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB     Shulga, Kirill Mikhailovich https://www.mathnet.ru/eng/person151913 List of publications on Google Scholar https://orcid.org/0000-0003-1422-4681 Publications in Math-Net.Ru Citations 2019 1. S. M. Staroletov, M. S. Amosov, K. M. Shulga, “Designing robust quadcopter software based on a real-time partitioned operating system and formal verification techniques”, Proceedings of ISP RAS, 31:4 (2019),  39–60   4 Organisations Altai State Technical University