|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
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”, Труды ИСП РАН, 31:4 (2019), 39–60 |
3
|
|