Author of the publication

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.

 

Other publications of authors with the same name

Petri net based design of a multi-robot scenario - a case study., and . SMC (6), page 5411-5416. IEEE, (2004)U.S.U. ValueBase: Anwendungsbeispiele., , and . HMD Prax. Wirtsch., (1999)Paradise: Design Environment for Parallel & Distributed, Embedded Real-Time Systems., , , , , , , , , and 4 other author(s). DIPES, volume 155 of IFIP Conference Proceedings, page 181-190. Kluwer, (1998)A Petri Net Based Approach for the Design of Dynamically Modifiable Embedded Systems., and . DIPES, volume 150 of IFIP, page 257-266. Kluwer/Springer, (2004)User-generated mobile services for health and fitness., , , , , , , and . ETFA, page 1-8. IEEE, (2011)uRun - Der mobile Gesundheitscoach., , , , , , , , , and . GI Jahrestagung (1), volume P-175 of LNI, page 9-14. GI, (2010)Modeling of Dynamically Modifiable Embedded Real-Time Systems., and . WORDS Fall, page 28-34. IEEE Computer Society, (2003)Automatic Synthesis of SystemC-Code from Formal Specifications., and . DIPES, volume 150 of IFIP, page 187-196. Kluwer/Springer, (2004)From high-level Petri nets to SystemC., , and . SMC, page 1032-1038. IEEE, (2003)Modellbasiertes Testen bei der Entwicklung einer IKT-Infrastruktur für Elektromobilität., , , , and . Softwaretechnik-Trends, (2015)