Методи аналізу скінченних темпоральних автоматів

Горбенко, В. М.; Четвериков, Г. Г.

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

dc.contributor.author	Горбенко, В. М.
dc.contributor.author	Четвериков, Г. Г.
dc.date.accessioned	2024-06-05T08:25:27Z
dc.date.available	2024-06-05T08:25:27Z
dc.date.issued	2022
dc.description.abstract	Метою доповіді є опис розроблених методів оптимізації часових автоматів і їх композицій і синтезу тестів з гарантованою повнотою для контролю виконання функціональних і нефункціональних вимог до систем, дію яких описано такою моделлю.
dc.identifier.citation	Горбенко В. М. Методи аналізу скінченних темпоральних автоматів / В. М. Горбенко, Г. Г. Четвериков // Сучасні напрями розвитку інформаційно-комунікаційних технологій та засобів управління : тез. доп. дванадцатої міжнародної науково-технічної конференції, 27–28 квітня 2022 р. – Т. 2. – Баку–Харків–Жиліна, 2022. – С. 166.
dc.identifier.uri	https://openarchive.nure.ua/handle/document/26871
dc.language.iso	uk
dc.publisher	ФОП Петров В.В.
dc.subject	темпоральний автомат
dc.subject	тест
dc.title	Методи аналізу скінченних темпоральних автоматів
dc.type	Thesis
dspace.entity.type	Publication