Igor Borisovich Burdonov Russian Federation, Moscow Academic degree Doctor of Physics and Mathematics Academic title Senior Researcher Research area automata theory formal methods testing graph theory Affiliation & position Ivannikov Institute for System Programming of RAS — leading researcher E-mail igor@ispras.ru
Burdonov I., Yevtushenko N., Kossatchev A., Kushik N. Synchronizing and Homing Experiments for Input/output Automata // System Informatics. — 2017. — # 10. — P. 1-10
