( en | de | ru )

 

Disambiguation of "von der Beeck, Michael"

Author of the publication

copydeleteadd this publication to your clipboard
Behaviour Specifications:Equivalence And Refinement

. (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.

Michael Beeck

Manfred in der Beeck

Wilhelm in der Beeck

Michael derr Beeck

Joachim Beeck

 

Other publications of authors with the same name

A structured operational semantics for UML-statecharts. Software and Systems Modeling, V1 (2): 130--141 (December 2002)Behaviour Specifications:Equivalence And Refinement. (2000)Multimodal Fusion Using Deep Learning Applied to Driver's Referencing of Outside-Vehicle Objects., , , , and . IV, page 1108-1115. IEEE, (2021)Multimodal Driver Referencing: A Comparison of Pointing to Objects Inside and Outside the Vehicle., and . IUI, page 483-495. ACM, (2022)A compositional approach to statecharts semantics, , and . SIGSOFT '00/FSE-8: Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering, 25, page 120--129. New York, NY, USA, ACM Press, (November 2000)A structured operational semantics for UML-statecharts. Software and Systems Modeling, V1 (2): 130--141 (December 2002)Modellierung von Funktionsnetzen mit UML-RT: Erfahrungen aus einem Automobilprojekt zur Entwicklung sicherheitsrelevanter Systeme.. Modellierung, volume P-45 of LNI, page 11-12. GI, (2004)Automotive UML., , , and . UML for Real, Kluwer, (2003)Development of logical and technical architectures for automotive systems. Software and Systems Modeling (SoSyM), 6 (2): 205--219 (June 2007)Statecharts via Process Algebra, , and . (1999)