Amosov Maxim Stanislavovich

Publications in Math-Net.Ru

1. 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