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-6764
- Sonstiges
- der Hochschule zugeordnete*r Autor*in
- LSF ID
- 48192
- ORCID
- 0000-0001-8866-6971
- Sonstiges
- der Hochschule zugeordnete*r Autor*in
Scopus ID
Sprache des Textes:
Deutsch