Natalia Vladimirovna Shabaldina Russian Federation, Tomsk Academic degree Candidate of Engineering Research area model based testing automata and FSM theory Affiliation & position Tomsk State University — associate professor Tomsk State University — research engineer E-mail NataliaMailBox@mail.ru
Gromov M., Shabaldina N. Using BALM-II for deriving parallel composition of timed finite state machines with outputs delays and timeouts: work-in-progress // System Informatics. — 2016. — # 8. — P. 33-42
