Амосов Максим Станиславович

Публикации в базе данных Math-Net.Ru

1. Designing robust quadcopter software based on a real-time partitioned operating system and formal verification techniques
   
   Труды ИСП РАН, 31:4 (2019),  39–60