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 (Eds.). - 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), pp. 212 - 218
2008book article/chapter in Proceedings
Computer ScienceEconomicsFaculty of Business Administration and Economics » Computer Science » Specification of Software Systems
Title in German:
UPPAAL-Modelle als ausführbare Spezifikation in Java
Author:
Goedicke, MichaelUDE
LSF ID
5091
ORCID
0009-0004-2383-6764ORCID iD
Other
connected with university
;Balz, Moritz
;Striewe, MichaelUDE
GND
173940544
LSF ID
48192
ORCID
0000-0001-8866-6971ORCID iD
Other
connected with university
Scopus ID
85135831146
WWW URL:
https://dl.gi.de/handle/20.500.12116/31529
Language of text:
German
Appears in
Software Engineering 2008 : Workshopband ; Fachtagung des GI-Fachbereichs Softwaretechnik, 18. - 22.02.2008 in München
Conference
Software Engineering 2008 ; Fachtagung GI-Fachbereich Softwaretechnik ; 18. - 22.02.2008, München, Germany
Editor:
Maalej, Walid;Bruegge, Bernd
Place of publication:
Bonn
Publisher:
Gesellschaft für Informatik
Year of publication:
2008
in:
pp. 212 - 218
ISBN
978-3-88579-216-1
ISBN
3-88579-216-8
PPN:
562205454
Library shelfmark:
TTQ7950-122
In Series
GI-Edition / Proceedings, Lecture Notes in Informatics
in:
Vol. 122