Publication: Методи аналізу скінченних темпоральних автоматів
Loading...
Date
2022
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
ФОП Петров В.В.
Abstract
Метою доповіді є опис розроблених методів оптимізації часових автоматів і їх композицій і синтезу тестів з гарантованою повнотою для контролю виконання функціональних і нефункціональних вимог до систем, дію яких описано такою моделлю.
Description
Keywords
темпоральний автомат, тест
Citation
Горбенко В. М. Методи аналізу скінченних темпоральних автоматів / В. М. Горбенко, Г. Г. Четвериков // Сучасні напрями розвитку інформаційно-комунікаційних технологій та засобів управління : тез. доп. дванадцатої міжнародної науково-технічної конференції, 27–28 квітня 2022 р. – Т. 2. – Баку–Харків–Жиліна, 2022. – С. 166.