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 Sammelwerk2008InformatikWirtschaftswissenschaften
Titel:
UPPAAL-Modelle als ausfuehrbare Spezifikation in Java
Autor(in):
Goedicke, MichaelLSF; Balz, Moritz; Striewe, MichaelLSF
Erscheinungsjahr
2008