Registered user since Fri 7 Jun 2019
Name:Sergey Staroletov
Country:Russia
Affiliation:Polzunov Altai State Technical University
Personal website: https://www.researchgate.net/profile/Sergey_Staroletov/research
Research interests:Model Checking, Cyber-Physical Systems, Formal Verification, Model-based Testing, OS and System Software
Contributions
ISSTA 2019-profile
View general profile
View general profile