UPPAAL-Modelle als ausführbare Spezifikation in Java.

Michael Goedicke Moritz Balz Michael Striewe

Published in: Software Engineering (Workshops) (2008)

Keyphrases

model checking
java programs
open source
lightweight
source code
object oriented
programming language
web applications
database applications
timed automata
java applets
development environment
multi threaded