Зведений каталог бібліотек Києва
Хисамов, Р. Н. Формализация и моделирование требований к системам авионики для автоматизации разработки [Текст] / Р.Н. Хисамов, С.К. Киселев // Матеріали XI Міжнародної науково-технічної конференції "Авіа-2013", 21-23 травня 2013 р. / МОН України, НАН України, Національне космічне агентство України, Національний авіаційний університет ДП "АНТОНОВ" ; Кулик М.С., голова. — Київ : НАУ, 2013. — С. 1.133-1.134.
- Ключові слова:
- Анотація:
Рассмотрени подход к автоматизации разработки тестов систем авионики на основе формализации и моделирования требований к ним.
- Є складовою частиною документа:
Матеріали XI Міжнародної науково-технічної конференції "Авіа-2013", 21-23 травня 2013 р. [Текст] / МОН України, НАН України, Національне космічне агентство України, Національний авіаційний університет ДП "АНТОНОВ" ; Кулик М.С., голова. — Київ : НАУ, 2013. — 548 с.
- Теми документа