Yevtushenko Nina Vladimirovna

Евтушенко Нина Владимировна
Nina Vladimirovna Yevtushenko
Russia, Tomsk
Academic degree
Academic rank
Research area
Affiliation & position
  • Tomsk State University — head of laboratory
  • Ivannikov Institute for System Programming of RAS — senior researcher
E-mail
List of Articles in System Informatics:
N. Yevtushenko A. Ermakov Increasing the fault coverage of tests derived against Extended Finite State Machines // System Informatics. — . — # 7.  — P. 23-32
I. Burdonov N. Yevtushenko A. Kossatchev N. Kushik Synchronizing and Homing Experiments for Input/output Automata // System Informatics. — . — # 10.  — P. 1-10
A. Tvardovskii N. Yevtushenko On parallel composition of Finite State Machines with timed guards // System Informatics. — . — # 14.  — P. 55-64
A. Tvardovskii N. Yevtushenko Deriving homing sequences for Finite State Machines with timed guards // System Informatics. — . — # 17.  — P. 1-10