Zakharov Vladimir Anatolyevoch

Захаров Владимир Анатольевич
Vladimir Anatolyevoch Zakharov
Russia, Moscow
Academic degree
Research area
Affiliation & position
  • National Resarch University Higher School of Economics — leading researcher
  • Lomonosov Moscow State University — professor
  • Ivannikov Institute for System Programming of RAS — senior researcher
E-mail
List of Articles in System Informatics:
V. Zakharov G. Temerbekova On the minimization and equivalence checking of sequential reactive systems // System Informatics. — . — # 7.  — P. 33-44
E. Vinarskii V. Zakharov On some properties of timed finite state machines // System Informatics. — . — # 17.  — P. 11-20
A. Gnatenko V. Zakharov Using an extensions of CTL* for specification and verification of sequential reactive systems // System Informatics. — . — # 17.  — P. 21-32