際際滷shows by User: SergeyStaroletov / http://www.slideshare.net/images/logo.gif 際際滷shows by User: SergeyStaroletov / Sun, 02 Jul 2017 07:10:04 GMT 際際滷Share feed for 際際滷shows by User: SergeyStaroletov Towards the methods of analysis malicious applications for Android /slideshow/towards-the-methods-of-analysis-malicious-applications-for-android/77433841 towardsthemethodsofanalysis-170702071004
PSI SIS 2017 talk]]>
PSI SIS 2017 talk]]> Sun, 02 Jul 2017 07:10:04 GMT /slideshow/towards-the-methods-of-analysis-malicious-applications-for-android/77433841 SergeyStaroletov@slideshare.net(SergeyStaroletov) Towards the methods of analysis malicious applications for Android SergeyStaroletov PSI SIS 2017 talk <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/towardsthemethodsofanalysis-170702071004-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> PSI SIS 2017 talk
Towards the methods of analysis malicious applications for Android from Sergey Staroletov
]]> 215 5 https://cdn.slidesharecdn.com/ss_thumbnails/towardsthemethodsofanalysis-170702071004-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 舒亰舒弍仂从舒 亠亠亰 ADD /SergeyStaroletov/add-76878219 add-170612193718
亠从仂仂亠 亳亟亠亳 仗仂 仆舒仗亳舒仆亳 舒亠亶 于 Software Engineering]]>
亠从仂仂亠 亳亟亠亳 仗仂 仆舒仗亳舒仆亳 舒亠亶 于 Software Engineering]]> Mon, 12 Jun 2017 19:37:18 GMT /SergeyStaroletov/add-76878219 SergeyStaroletov@slideshare.net(SergeyStaroletov) 舒亰舒弍仂从舒 亠亠亰 ADD SergeyStaroletov 亠从仂仂亠 亳亟亠亳 仗仂 仆舒仗亳舒仆亳 舒亠亶 于 Software Engineering <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/add-170612193718-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> 亠从仂仂亠 亳亟亠亳 仗仂 仆舒仗亳舒仆亳 舒亠亶 于 Software Engineering
舒亰舒弍仂从舒 亠亠亰 ADD from Sergey Staroletov
]]> 82 2 https://cdn.slidesharecdn.com/ss_thumbnails/add-170612193718-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 An online tool for requirements engineering, modeling and verification of distributed software based on the MDD approach /slideshow/an-online-tool-for-requirements-engineering-modeling-and-verification-of-distributed-software-based-on-the-mdd-approach/76845568 syrcosestaroletov-170611190904
際際滷s for my 2017' presentation in Innopolis]]>
際際滷s for my 2017' presentation in Innopolis]]> Sun, 11 Jun 2017 19:09:04 GMT /slideshow/an-online-tool-for-requirements-engineering-modeling-and-verification-of-distributed-software-based-on-the-mdd-approach/76845568 SergeyStaroletov@slideshare.net(SergeyStaroletov) An online tool for requirements engineering, modeling and verification of distributed software based on the MDD approach SergeyStaroletov 際際滷s for my 2017' presentation in Innopolis <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/syrcosestaroletov-170611190904-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> 際際滷s for my 2017&#39; presentation in Innopolis
An online tool for requirements engineering, modeling and verification of distributed software based on the MDD approach from Sergey Staroletov
]]> 66 3 https://cdn.slidesharecdn.com/ss_thumbnails/syrcosestaroletov-170611190904-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 MODEL OF A PROGRAM AS MULTITHREADED STOCHASTIC AUTOMATON AND ITS EQUIVALENT TRANSFORMATION TO PROMELA MODEL /SergeyStaroletov/psi2011-staroletov psi2011staroletov-130221094229-phpapp01
Self view to MBT and using self model and to-Spin model transformations]]>
Self view to MBT and using self model and to-Spin model transformations]]> Thu, 21 Feb 2013 09:42:29 GMT /SergeyStaroletov/psi2011-staroletov SergeyStaroletov@slideshare.net(SergeyStaroletov) MODEL OF A PROGRAM AS MULTITHREADED STOCHASTIC AUTOMATON AND ITS EQUIVALENT TRANSFORMATION TO PROMELA MODEL SergeyStaroletov Self view to MBT and using self model and to-Spin model transformations <img style="border:1px solid #C3E6D8;float:right;" alt="" src="https://cdn.slidesharecdn.com/ss_thumbnails/psi2011staroletov-130221094229-phpapp01-thumbnail.jpg?width=120&amp;height=120&amp;fit=bounds" /><br> Self view to MBT and using self model and to-Spin model transformations
MODEL OF A PROGRAM AS MULTITHREADED STOCHASTIC AUTOMATON AND ITS EQUIVALENT TRANSFORMATION TO PROMELA MODEL from Sergey Staroletov
]]> 303 5 https://cdn.slidesharecdn.com/ss_thumbnails/psi2011staroletov-130221094229-phpapp01-thumbnail.jpg?width=120&height=120&fit=bounds presentation Black http://activitystrea.ms/schema/1.0/post http://activitystrea.ms/schema/1.0/posted 0 https://cdn.slidesharecdn.com/profile-photo-SergeyStaroletov-48x48.jpg?cb=1588247944 https://cdn.slidesharecdn.com/ss_thumbnails/towardsthemethodsofanalysis-170702071004-thumbnail.jpg?width=320&height=320&fit=bounds slideshow/towards-the-methods-of-analysis-malicious-applications-for-android/77433841 Towards the methods of... https://cdn.slidesharecdn.com/ss_thumbnails/add-170612193718-thumbnail.jpg?width=320&height=320&fit=bounds SergeyStaroletov/add-76878219 舒亰舒弍仂从舒 亠亠亰 ADD https://cdn.slidesharecdn.com/ss_thumbnails/syrcosestaroletov-170611190904-thumbnail.jpg?width=320&height=320&fit=bounds slideshow/an-online-tool-for-requirements-engineering-modeling-and-verification-of-distributed-software-based-on-the-mdd-approach/76845568 An online tool for req...