![Sergey Staroletov](https://conf.researchr.org/getProfileImage/sergeystaroletov/937ee203-cad2-4bc6-8647-69396c1a723a/small.jpg?1712591557000)
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