Публікація: Методи аналізу скінченних темпоральних автоматів
Завантаження...
Дата
2022
Автори
Назва журналу
ISSN журналу
Назва тома
Видавництво
ФОП Петров В.В.
Анотація
Метою доповіді є опис розроблених методів оптимізації часових автоматів і їх композицій і синтезу тестів з гарантованою повнотою для контролю виконання функціональних і нефункціональних вимог до систем, дію яких описано такою моделлю.
Опис
Ключові слова
темпоральний автомат, тест
Бібліографічний опис
Горбенко В. М. Методи аналізу скінченних темпоральних автоматів / В. М. Горбенко, Г. Г. Четвериков // Сучасні напрями розвитку інформаційно-комунікаційних технологій та засобів управління : тез. доп. дванадцатої міжнародної науково-технічної конференції, 27–28 квітня 2022 р. – Т. 2. – Баку–Харків–Жиліна, 2022. – С. 166.