Горбенко, В. М.Четвериков, Г. Г.2024-06-052024-06-052022Горбенко В. М. Методи аналізу скінченних темпоральних автоматів / В. М. Горбенко, Г. Г. Четвериков // Сучасні напрями розвитку інформаційно-комунікаційних технологій та засобів управління : тез. доп. дванадцатої міжнародної науково-технічної конференції, 27–28 квітня 2022 р. – Т. 2. – Баку–Харків–Жиліна, 2022. – С. 166.https://openarchive.nure.ua/handle/document/26871Метою доповіді є опис розроблених методів оптимізації часових автоматів і їх композицій і синтезу тестів з гарантованою повнотою для контролю виконання функціональних і нефункціональних вимог до систем, дію яких описано такою моделлю.ukтемпоральний автоматтестThesis