Preview

Труды Института системного программирования РАН

Расширенный поиск
Полноэкранный режим

Для цитирования:


Старолетов С.М., Амосов М.С., Шульга К.М. Разработка программного обеспечения квадрокоптера с повышенными требованиями к надёжности на основе партицированной ОС и технологий формальной верификации. Труды Института системного программирования РАН. 2019;31(4):39-60. https://doi.org/10.15514/ISPRAS-2019-31(4)-3

For citation:


Staroletov S.M., Amosov M.S., Shulga K.M. Designing robust quadcopter software based on a real-time partitioned operating system and formal verification techniques. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2019;31(4):39-60. https://doi.org/10.15514/ISPRAS-2019-31(4)-3



Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 2079-8156 (Print)
ISSN 2220-6426 (Online)