Alexander Sergeevitch Kossatchev Russian Federation, Moscow Academic degree Candidate 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 kos@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
