Методи верифікації темпоральних властивостей цифрових автоматів

Пшеничний, К. Ю.; Хаханова, Г. В.

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

dc.contributor.author	Пшеничний, К. Ю.
dc.contributor.author	Хаханова, Г. В.
dc.date.accessioned	2020-06-10T16:51:22Z
dc.date.available	2020-06-10T16:51:22Z
dc.date.issued	2019
dc.description.abstract	Відомо, що пристрої логічного управління, побудовані на основі автоматного шаблону,функціонують в автоматному часі. Автоматним часом є дискретні відрізки часу, за які автомат переходить з одного стану в інший. Тривалість автоматного такту, як правило, визначається частотою синхросигналу.	uk_UA
dc.identifier.citation	Пшеничний К. Ю. Методи верифікації темпоральних властивостей цифрових автоматів / К. Ю. Пшеничний, Г. В. Хаханова // Радиоэлектроника и информатика. – 2019. – № 3. – С. 39–42.	uk_UA
dc.identifier.uri	http://openarchive.nure.ua/handle/document/12124
dc.language.iso	uk	uk_UA
dc.publisher	ХНУРЭ	uk_UA
dc.subject	системи керування реального часу	uk_UA
dc.subject	середовище моделювання	uk_UA
dc.subject	класичний підхід верифікації	uk_UA
dc.subject	синхросигнал	uk_UA
dc.title	Методи верифікації темпоральних властивостей цифрових автоматів	uk_UA
dc.type	Article	uk_UA
dspace.entity.type	Publication