|
| | Тюгашев, А. А.
Автоматизация спецификации, верификации и синтеза управляющих программ реального времени с применением логического и алгебраического подходов [Текст] / Самарский государственный аэрокосмический университет им. акад.С.П.Королева // Мехатроника, автоматизация, управление. — 2007. — С. 46-50. | |
| | |
|
