Просмотр собрания по группе - Авторы Tyugashev, A.A.
Результаты 3 по 3 из 3
< назад
Год издания | Название | Автор(ы) | Экспорт |
---|---|---|---|
2018 | On use of Satisfiability Modulo Theories approach for evaluation of Real-Time spacecraft control logic | Tyugashev, A.A. |