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

Dieser Eintrag ist freigegeben.