From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Object Framework for Mission Control., , , и . ISAS-SCI (1), стр. 100-105. IIIS, (2001)Application of partial-order methods for the verification of closed-loop SDL systems., , , и . SAC, стр. 1666-1673. ACM, (2011)Towards One Model Interpreter for Both Design and Deployment., , , , , и . MoDELS (Satellite Events), том 2019 из CEUR Workshop Proceedings, стр. 102-108. CEUR-WS.org, (2017)Real-Time and Embedded Systems Challenges - Key Requirements and Issues., и . ICSOFT, стр. 107-113. SciTePress, (2013)Verifying and Monitoring UML Models with Observer Automata: A Transformation-Free Approach., , , , и . MoDELS, стр. 161-171. IEEE, (2019)Embedded UML Model Execution to Bridge the Gap Between Design and Runtime., , , , и . STAF Workshops, том 11176 из Lecture Notes in Computer Science, стр. 519-528. Springer, (2018)A Model Checkable UML Soccer Player., , , , и . MoDELS (Companion), стр. 211-220. IEEE, (2019)Using context descriptions and property definition patterns for software formal verification., , , , и . ICST Workshops, стр. 89-96. IEEE Computer Society, (2008)Context-Aware Verification of a Landing Gear System., и . ABZ (Case Study), том 433 из Communications in Computer and Information Science, стр. 52-65. Springer, (2014)Automatic Co-evolution of Models Using Traceability., , , и . ICSOFT (Selected Papers), том 170 из Communications in Computer and Information Science, стр. 125-139. Springer, (2010)