Goedicke, Michael; Balz, Moritz; Striewe, Michael:
UPPAAL-Modelle als ausfuehrbare Spezifikation in Java
In: Workshop Modellgetriebene Softwarearchitektur - Evolution, Integration und Migration, co-located at Software Engineering 2008 - München, 2008
Buchaufsatz/Kapitel in Sammelwerk / Fach: Informatik; Wirtschaftswissenschaften
Titel:
UPPAAL-Modelle als ausfuehrbare Spezifikation in Java
Autor(in):
Goedicke, Michael im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen; Balz, Moritz; Striewe, Michael im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen
Erscheinungsjahr:
2008
Erschienen in:
Workshop Modellgetriebene Softwarearchitektur - Evolution, Integration und Migration, co-located at Software Engineering 2008 - München, 2008