PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Hirsch, Martin"

Author of the publication

copydeleteadd this publication to your clipboard
Modeling and verifying dynamic communication structures based on graph transformations.

, , , , , and . Comput. Sci. Res. Dev., 28 (1): 3-22 (2013)

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. Manuel Hirsch University of Stuttgart

Dr. Tobias Hirsch University of Stuttgart

Martin Baumann

Martin Schwartz University of Stuttgart

Martin Alvarez University of Stuttgart

 

Other publications of authors with the same name

A multi-paradigm approach supporting the modular execution of reconfigurable hybrid systems., , and . Simulation, 87 (9): 775-808 (2011)Fujaba4Eclipse Real-Time Tool Suite., , , , and . Model-Based Engineering of Embedded Real-Time Systems, volume 6100 of Lecture Notes in Computer Science, page 309-315. Springer, (2007)Reconfiguration of Embedded Systems., , , and . ICINCO-ICSO, page 157-162. INSTICC Press, (2008)Systematic Design and Implementation of Distributed Controllers in Industrial Automation., , and . ETFA, page 633-640. IEEE, (2006)Modell-basierte Verifikation von vernetzten mechatronischen Systemen.. University of Paderborn, (2008)The fujaba real-time tool suite: model-driven development of safety-critical, real-time systems., , , , and . ICSE, page 670-671. ACM, (2005)Modeling collaborations with dynamic structural adaptation in mechatronic UML., , and . SEAMS, page 33-40. ACM, (2008)Scenario-Based Verification of Automotive Software Systems., , , , and . MBEES, volume 2006-1 of Informatik-Bericht, page 35-42. TU Braunschweig, Institut für Software Systems Engineering, (2006)Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View., and . MBEES, volume 2008-2 of Informatik-Bericht, page 78-86. TU Braunschweig, Institut für Software Systems Engineering, (2008)Hierarchical distributed controllers - design and verification., , and . ETFA, page 657-664. IEEE, (2007)