Staroletov Sergey Michailovich

Sergey Michailovich Staroletov
Sergey Michailovich Staroletov
Russia, Barnaul
Academic degree
Research area
Affiliation & position
  • Altai State Technical University — associate professor
E-mail
List of Articles in System Informatics:
S. Staroletov Design and implementation a software for water purification with using automata approach and specification based analysis // System Informatics. — . — # 10.  — P. 33-44
S. Staroletov A. Dubko A Method to Verify Parallel and Distributed Software in C# by Doing Roslyn AST Transformation to a Promela Model // System Informatics. — . — # 15.  — P. 13-44
S. Staroletov Teaching the Discipline "Software Testing and Verification" to Future Programmers // System Informatics. — . — # 21.  — P. 1-28
N. Garanina S. Staroletov V. Zyubin I. Anureev Model Checking Process-Oriented IEC 61131-3 Structured Text Programs // System Informatics. — . — # 22.  — P. 21-30