Sergey Staroletov, profile picture

Sergey Staroletov

4 Slideshow
Sort by
Towards the methods of analysis malicious applications for Android
porSergey Staroletov
 
Разработка через ADD
porSergey Staroletov
 
An online tool for requirements engineering, modeling and verification of distributed software based on the MDD approach
porSergey Staroletov
 
MODEL OF A PROGRAM AS MULTITHREADED STOCHASTIC AUTOMATON AND ITS EQUIVALENT TRANSFORMATION TO PROMELA MODEL
porSergey Staroletov