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

Фоменко, В. В.

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

dc.contributor.author	Фоменко, В. В.
dc.date.accessioned	2023-03-05T20:13:26Z
dc.date.available	2023-03-05T20:13:26Z
dc.date.issued	2019
dc.description.abstract	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
dc.identifier.citation	Фоменко В. В. Модели проектирования и верификация автоматных систем логического управления / В. В. Фоменко // Радіоелектроніка та молодь у ХХІ столітті : матеріали 23 Міжнар. молодіж. форуму, 16–18 квітня 2019 р. – Харків : ХНУРЕ, 2019. – Т. 3. – С. 186–187. / В. В. Фоменко // Радіоелектроніка та молодь у ХХІ столітті : матеріали 23 Міжнар. молодіж. форуму, 16–18 квітня 2019 р. – Харків : ХНУРЕ, 2019. – Т. 3. – С. 186–187.
dc.identifier.uri	https://openarchive.nure.ua/handle/document/22413
dc.language.iso	other
dc.publisher	ХНУРЕ
dc.title	Модели проектирования и верификация автоматных систем логического управления
dc.type	Conference proceedings
dspace.entity.type	Publication