Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

UPPAAL-Modelle als ausführbare Spezifikation in Java.

Software Engineering (Workshops). 2008 S. 212 - 218

Erscheinungsjahr: 2008

Publikationstyp: Buchbeitrag (Konferenzbeitrag)

Website
Geprüft:Bibliothek

Autoren

Goedicke, Michael (Autor)
Balz, Moritz (Autor)
Striewe, Michael (Autor)

Verknüpfte Personen

Michael Christoph Striewe

Beteiligte Einrichtungen

Logo Hochschule Trier