From post

Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts.

, и . ICGT, том 2505 из Lecture Notes in Computer Science, стр. 239-253. Springer, (2002)

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.

 

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

A testing framework for DEVS formalism implementations., , , , и . SpringSim (TMS-DEVS), стр. 183-188. SCS/ACM, (2011)Introduction to Statecharts Modeling, simulation, Testing, and Deployment., и . WSC, стр. 306-320. IEEE, (2018)Discrete Event System Specification Modeling and simulation., и . WSC, стр. 162-176. IEEE, (2018)Introduction to Statecharts Modeling, Simulation, Testing, and Deployment., и . WSC, стр. 1504-1518. IEEE, (2019)Demo: Stabilization Technique in INTO-CPS., , , , и . STAF Workshops, том 11176 из Lecture Notes in Computer Science, стр. 45-51. Springer, (2018)Knowledge Base Development and Application Processes Applied on Product-Assembly Co-design., , , , и . MoDELS (Companion), стр. 327-335. IEEE, (2021)Summary of the Workshop on Multi-Paradigm Modelling: Concepts and Tools., , , и . MoDELS (Workshops), том 6627 из Lecture Notes in Computer Science, стр. 274-278. Springer, (2010)Debugging of Model Transformations and Contracts in SyVOLT., , , и . MoDELS (Workshops), том 2245 из CEUR Workshop Proceedings, стр. 532-537. CEUR-WS.org, (2018)Multi-paradigm modelling and synthesis of user interfaces., и . MDDAUI@MoDELS, том 214 из CEUR Workshop Proceedings, CEUR-WS.org, (2006)Challenges for Automation in Adaptive Abstraction., , , , и . MoDELS (Companion), стр. 443-448. IEEE, (2019)