Sergey Staroletov

25 Followers

4 SlideShares 25 Followers 22 Followings

4 SlideShares 25 Followers 22 Followings

mdd spin dynamic analisys static analisis andoid driven article add development ltl requirements engineering portal software mbt

See more

Activity
About

MODEL OF A PROGRAM AS MULTITHREADED STOCHASTIC AUTOMATON AND ITS EQUIVALENT TRANSFORMATION TO PROMELA MODEL

12 years ago • 306 Views

An online tool for requirements engineering, modeling and verification of distributed software based on the MDD approach

8 years ago • 72 Views

Разработка через ADD

8 years ago • 83 Views

Towards the methods of analysis malicious applications for Android

8 years ago • 221 Views

mdd spin dynamic analisys static analisis andoid driven article add development ltl requirements engineering portal software mbt

See more