Захаров Владимир Анатольевич

Vladimir Anatolyevoch Zakharov

Russian Federation, 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:

Zakharov V., Temerbekova G. On the minimization and equivalence checking of sequential reactive systems // System Informatics. — 2016. — # 7. — P. 33-44

Vinarskii E., Zakharov V. On some properties of timed finite state machines // System Informatics. — 2020. — # 17. — P. 11-20

Gnatenko A., Zakharov V. Using an extensions of CTL* for specification and verification of sequential reactive systems // System Informatics. — 2020. — # 17. — P. 21-32