За технічних причин Електронний архів Харківського національного університету радіоелектроніки «ElAr КhNURE» працює тільки на перегляд. Про відновлення роботи у повному обсязі буде своєчасно повідомлено.
 

Публікація:
Модели проектирования и верификация автоматных систем логического управления

Завантаження...
Зображення мініатюри

Дата

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.

DOI