Публікація: Модели проектирования и верификация автоматных систем логического управления
Завантаження...
Дата
2019
Автори
Назва журналу
ISSN журналу
Назва тома
Видавництво
ХНУРЕ
Анотація
The purpose of work is development of methods of increase of testable models of finite state machines and also methods of realization of diagnostic experiments above the models of finite state machines. Conducted analysis of existent methods of realization of diagnostic experiments above finite state machines, analyzed methods of increase of testability of finite state machines, worked out methods of realization of diagnostic experiments above finite state machines in the conditions of introduction of vehicle surplus in the model of finite state machines. The worked out methods are realize CAD on the basis of hardware description languages
Опис
Ключові слова
Бібліографічний опис
Фоменко В. В. Модели проектирования и верификация автоматных систем логического управления / В. В. Фоменко // Радіоелектроніка та молодь у ХХІ столітті : матеріали 23 Міжнар. молодіж. форуму, 16–18 квітня 2019 р. – Харків : ХНУРЕ, 2019. – Т. 3. – С. 186–187. / В. В. Фоменко // Радіоелектроніка та молодь у ХХІ столітті : матеріали 23 Міжнар. молодіж. форуму, 16–18 квітня 2019 р. – Харків : ХНУРЕ, 2019. – Т. 3. – С. 186–187.