( en | de | ru )

 

Disambiguierung von "Goltz, Ursula"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Umsetzung eines modellbasierten durchgängigen Entwicklungsprozesses für AUTOSAR-Systeme mit integrierter Qualitätssicherung

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

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Ursula Goltz

Konrad Goltz

Dietlinde Goltz

Lothar Goltz

Maren Goltz

 

Weitere Publikationen von Autoren mit dem selben Namen

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