Author of the publication

Umsetzung eines modellbasierten durchgängigen Entwicklungsprozesses für AUTOSAR-Systeme mit integrierter Qualitätssicherung

, , , , , , , and . 2009-06. Technische Universität Braunschweig, (2009)

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

Synchronous and asynchronous communication(s) between three parties., and . Acta Inf., 57 (3-5): 313-320 (2020)Design for Future: Das DFG-Schwerpunktprogramm für langlebige Softwaresysteme.. Software Engineering, volume P-213 of LNI, page 37. GI, (2013)Umsetzung eines modellbasierten durchgängigen Entwicklungsprozesses für AUTOSAR-Systeme mit integrierter Qualitätssicherung, , , , , , , and . 2009-06. Technische Universität Braunschweig, (2009)Institut für Programmierung und Reaktive Systeme., and . 40 Jahre Informatik @ Braunschweig, volume T-6 of LNI, page 54-61. GI, (2012)Workshop on Managed Software Evolution., and . Software Engineering, volume P-213 of LNI, page 365-366. GI, (2013)Abstract Processes in the Absence of Conflicts in General Place/Transition Systems., , and . CoRR, (2022)Stronger Validity Criteria for Encoding Synchrony., , , and . The Art of Modelling Computational Systems, volume 11760 of Lecture Notes in Computer Science, page 182-205. Springer, (2019)Extended state identification and verification using a model checker., , , and . Inf. Softw. Technol., 48 (10): 981-992 (2006)Architektur-Evaluation von AUTOSAR-Systemen: Adaption und Integration, , , , and . Elektronik automotive congress, page 77-98. Elektronik automotive, (2009)Optimierung von AUTOSAR-Systemen durch automatisierte Architektur-Evaluation, , , , and . 14. Internationale Konferenz Elektronik im Kraftfahrzeug, VDI-Berichte 2075, page 827-838. VDI Verlag GmbH, (2009)