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 / Fach: Informatik; Wirtschaftswissenschaften, Rechtswissenschaften
Dieser Eintrag ist freigegeben.