ºÝºÝߣ
Submit Search
Sergey Staroletov
4
ºÝºÝߣShares
25
Followers
22
Followings
Block User
4
ºÝºÝߣShares
25
Followers
22
Followings
Personal Information
Organization / Workplace
Barnaul
Occupation
Docent
Industry
Technology / Software / Internet
Presentations
(4)Ìý
See all
Towards the methods of analysis malicious applications for Android
Towards the methods of analysis malicious applications for Android
Ìý
Разработка через ADD
Разработка через ADD
Ìý
An online tool for requirements engineering, modeling and verification of distributed software based on the MDD approach
An online tool for requirements engineering, modeling and verification of distributed software based on the MDD approach
Ìý
MODEL OF A PROGRAM AS MULTITHREADED STOCHASTIC AUTOMATON AND ITS EQUIVALENT TRANSFORMATION TO PROMELA MODEL
MODEL OF A PROGRAM AS MULTITHREADED STOCHASTIC AUTOMATON AND ITS EQUIVALENT TRANSFORMATION TO PROMELA MODEL
Ìý