Conference Paper

UPPAAL-Modelle als ausführbare Spezifikation in Java

Document type

Text/Conference Paper

Files

212-218.pdf (139.01 KB)

Date

relationships.isAuthorOf

Goedicke, Michael

Striewe, Michael

Source

Software Engineering 2008

Regular Research Papers

Publisher

Gesellschaft für Informatik e. V.

Goedicke, Michael; Balz, Moritz; Striewe, Michael (2008): UPPAAL-Modelle als ausführbare Spezifikation in Java. Software Engineering 2008. Bonn: Gesellschaft für Informatik e. V.. PISSN: 1617-5468. ISBN: 978-3-88579-216-1. pp. 212-218. Regular Research Papers. München. 18.-22.2.2008

URI

https://dl.gi.de/handle/20.500.12116/31529

Collections

P122 - Software Engineering 2008 - Workshopband