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