Goedicke, Michael; Balz, Moritz; Striewe, Michael:
UPPAAL-Modelle als ausführbare Spezifikation in Java
In: Software Engineering 2008 : Workshopband ; Fachtagung des GI-Fachbereichs Softwaretechnik, 18. - 22.02.2008 in München / Maalej, Walid; Bruegge, Bernd (Hrsg.). - Software Engineering 2008 ; Fachtagung GI-Fachbereich Softwaretechnik ; 18. - 22.02.2008, München, Germany - Bonn: Gesellschaft für Informatik, 2008 - (GI-Edition / Proceedings, Lecture Notes in Informatics ; 122), S. 212 - 218
2008Buchaufsatz/Kapitel in Tagungsband
InformatikWirtschaftswissenschaftenFakultät für Wirtschaftswissenschaften » Fachgebiet Informatik » Spezifikation von Softwaresystemen
Titel in Deutsch:
UPPAAL-Modelle als ausführbare Spezifikation in Java
Autor*in:
Goedicke, MichaelUDE
LSF ID
5091
ORCID
0009-0004-2383-6764ORCID iD
Sonstiges
der Hochschule zugeordnete*r Autor*in
;
Balz, Moritz
;
Striewe, MichaelUDE
LSF ID
48192
ORCID
0000-0001-8866-6971ORCID iD
Sonstiges
der Hochschule zugeordnete*r Autor*in
Scopus ID
Sprache des Textes:
Deutsch