20 Years of UPPAAL Enabled Industrial Model-Based Validation and Beyond.

Kim G. Larsen Florian Lorber Brian Nielsen

Published in: ISoLA (4) (2018)

Keyphrases

model checking
years ago
industrial applications
technology transfer
data mining
software engineering
industrial processes
databases
real world
e learning
image sequences
data structure
knowledge based systems