UPPAAL Implementation Secrets.

Gerd Behrmann Johan Bengtsson Alexandre David Kim Guldstrand Larsen Paul Pettersson Wang Yi

Published in: FTRTFT (2002)

Keyphrases

information retrieval
model checking
database
data sets
social networks
decision making
multimedia
optimal solution
object oriented
parallel implementation