Methods for reconstructing and analyzing the formal model of observable behavior for processes in embedded systems
Thesis supervisor Co-supervisor / Scientific advisorOfficial reviewers
Basyrov Alexander Gennadyevich
Doctor of Science
Federal State Budgetary Military Educational Institution of Higher Education «A.F. Mozhaisky Military Space Academy» Ministry of Defense of the Russian Federation, Professor
Download reviewMembers of the Academic Degree Council
Bogatyrev Vladimir A.
Doctor of Science
ITMO University, professor
Degtyarev Alexander Borisovich
Dr.Sc., Associate Professor
St.Petersburg State University, professor
Khomonenko Anatoly D.
doctor of engineering, professor
Emperor Alexander I St.Petersburg State Transport University, Professor
Kolesov Nikolai V.
doctor of engineering, professor
State Research Center of the Russian Federation – Concern CSRI Elektropribor, JSC, chief researcher
Kupriyanov Mikhail S.
doctor of engineering, professor
Saint Petersburg Electrotechnical University «LETI», head of the department
Platunov Alexey E.
Doctor of Science, professor
ITMO University, professor
Vodyaho Alexander I.
doctor of engineering, professor
Saint Petersburg Electrotechnical University "LETI", professor
Zhdanov Andrei Dmitrievich
PhD
ITMO University, Associate Professor
Zhukova Nataly Alexandrovna
Doctor of Science, Associate Professor
St. Petersburg Federal Research Center of the Russian Academy of Sciences, Leading Researcher