Зведений каталог бібліотек Харкова

 

Шувалова, Л. А.
    Структура программного комплекса синтеза и верификации моделей цифровых автоматов [Текст] / Л.А. Шувалова, Д.Н. Моамар, Т.Ю. Уткина // Системи обробки інформації / М-во оборони України, Харків. ун-т Повітр. Сил ім. Івана Кожедуба ; редкол.: Стрєлков О. І. (голова) та ін. — Харків : ХУПС ім. І. Кожедуба, 2008. — С. 156-159.


- Анотація:

В статье рассмотрено назначение и условия применения программного обеспечения, которое входит в состав программного комплекса, предназначеннго для синтеза алгоритмов автоматизированного управления фасовочно-упаковрчными машинами. Детально освещены методы и способы лингвистической компилляции, описаны типы используемых ими данных.

- Є складовою частиною документа:

- Теми документа

  • УДК // Гарантії якості програмного забезпечення. Верифікація і оцінка (V&V)
  • УДК // Системи керування з детермінованими входами



Наявність
Установа Кількість Документ на сайті установи
Науково-технічна бібліотека Національного аерокосмічного університету ім. М.Є. Жуковського   Перейти на сайт