Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

UPPAAL-Modelle als ausführbare Spezifikation in Java.

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

Erscheinungsjahr: 2008

Publikationstyp: Zeitschriftenaufsatz

Website
GeprüftBibliothek

Autoren

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

Verknüpfte Personen

Michael Christoph Striewe

Beteiligte Einrichtungen

Logo Hochschule Trier