Developing UPPAAL over 15 years.

Gerd Behrmann Alexandre David Kim Guldstrand Larsen Paul Pettersson Wang Yi

Published in: Softw. Pract. Exp. (2011)

Keyphrases

years ago
real world
model checking
decision trees
data sets
neural network
computer vision
multiscale
expert systems
multiresolution
experience gained