Maxim Leonidovich Gromov Russian Federation, Tomsk Academic degree Candidate of Physics and Mathematics Research area model based testing automata and FSM theory Affiliation & position Tomsk State University — associate professor E-mail maxim.leo.gromov@gmail.com
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