Aleksandr Tvardovskii Russian Federation, Tomsk Research area finite state machine theory model based testing Affiliation & position Tomsk State University — postgraduate Tomsk State University — assistant E-mail tvardal@mail.ru
Tvardovskii A., Yevtushenko N. On parallel composition of Finite State Machines with timed guards // System Informatics. — 2019. — # 14. — P. 55-64
Tvardovskii A., Yevtushenko N. Deriving homing sequences for Finite State Machines with timed guards // System Informatics. — 2020. — # 17. — P. 1-10
