( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
UML vs. classical vs. rhapsody statecharts: not all models are created equal.

, и . Softw. Syst. Model., 6 (4): 415-435 (2007)

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.

Andreas Dingel

Janis Dingel

Joachim Dingel

Janis Dingel

Janis Dingel

 

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

Verifying Protocol Conformance Using Software Model Checking for the Model-Driven Development of Embedded Systems., , и . IEEE Trans. Software Eng., 39 (9): 1307-1325 (2013)A Customizable Execution Engine for Models of Embedded Systems., и . BM-FA (Revised Selected Papers), том 6368 из Lecture Notes in Computer Science, стр. 82-110. Springer, (2014)Translate One, Analyze Many: Leveraging the Microsoft Intermediate Language and Source Code Transformation for Model Checking., и . Bytecode@ETAPS, том 190 из Electronic Notes in Theoretical Computer Science, стр. 3-18. Elsevier, (2007)MReplayer: a trace replayer of distributed UML-RT models., , и . MoDELS (Companion), стр. 6:1-6:5. ACM, (2020)Kiltera: A Language for Timed, Event-Driven, Mobile and Distributed Simulation., и . DS-RT, стр. 87-96. IEEE Computer Society, (2010)Incremental Test Case Generation for UML-RT Models Using Symbolic Execution., и . ICST, стр. 962-963. IEEE Computer Society, (2012)Understanding and improving UML package merge., , и . Softw. Syst. Model., 7 (4): 443-467 (2008)Symbolic execution of UML-RT State Machines., и . SAC, стр. 1292-1299. ACM, (2012)Definition and implementation of a semantic mapping for UML-RT using a timed pi-calculus., , , , и . BM-FA, стр. 1. ACM, (2010)Run-time conformance checking of mobile and distributed systems using executable models., , и . PADTAD, ACM, (2009)