Name:Sergey Staroletov

Country:Russia

Affiliation:Polzunov Altai State Technical University

Research interests:Model Checking, Cyber-Physical Systems, Formal Verification, Model-based Testing, OS and System Software