PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "von der Beeck, Michael"

Author of the publication

copydeleteadd this publication to your clipboard
A compositional approach to statecharts semantics.

, , and . SIGSOFT FSE, page 120-129. ACM, (2000)

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. You can also use the button next to the name to display some publications already assigned to the person.

Dr. -Ing. Stefan von der Nüll University of Stuttgart

Annika von der Haar University of Stuttgart

Jun. -Prof. Dr. phil. Titus von der Malsburg University of Stuttgart

Denis Dertli University of Stuttgart

Dr. Ingo Julien Horst Wilhelm von Reitzenstein University of Stuttgart

 

Other publications of authors with the same name

A compositional approach to statecharts semantics., , and . SIGSOFT FSE, page 120-129. ACM, (2000)SA/CM/IM for Process Modelling., and . EWSPT, volume 635 of Lecture Notes in Computer Science, page 18-20. Springer, (1992)Multimodal Driver Referencing: A Comparison of Pointing to Objects Inside and Outside the Vehicle., and . CoRR, (2022)Truths and Beliefs about the Use of Real-Time Distributed Object Computing in Complex Industrial Applications., , , and . ISORC, page 375. IEEE Computer Society, (2001)Improving Structured Analysis - Achieving Preciseness, Executability, and Real-Time Specification.. Requirements Engineering, volume 41 of Berichte des German Chapter of the ACM, page 227-245. Teubner, (1993)Ein Kontrollmodell für die Strukturierte Analyse.. RWTH Aachen University, Germany, (1995)A structured operational semantics for UML-statecharts.. Software and Systems Modeling, 1 (2): 130-141 (2002)Function Net Modeling with UML-RT: Experiences from an Automotive Project at BMW Group.. UML Satellite Activities, volume 3297 of Lecture Notes in Computer Science, page 94-104. Springer, (2004)Integration of Structured Analysis and Timed Statecharts for Real-Time and Concurrency Specification.. ESEC, volume 717 of Lecture Notes in Computer Science, page 313-328. Springer, (1993)A Formal Semantics of UML-RT.. MoDELS, volume 4199 of Lecture Notes in Computer Science, page 768-782. Springer, (2006)