( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Towards One Model Interpreter for Both Design and Deployment.

, , , , , и . MoDELS (Satellite Events), том 2019 из CEUR Workshop Proceedings, стр. 102-108. CEUR-WS.org, (2017)

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.

Philippe Kersting

Philippe Bopp

Philippe Zysset

Philippe Dreuw

Philippe Moisan

 

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

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)