UPPAAL in 1995.

Johan Bengtsson Kim Guldstrand Larsen Fredrik Larsson Paul Pettersson Wang Yi

Published in: TACAS (1996)

Keyphrases

model checking
timed automata
controller synthesis
model checker
web services
search algorithm
image analysis
color images
closed loop
real time systems