@inproceedings{3180d21f142b4bf290983c79908dda3d,
title = "20 Years of Real Real Time Model Validation",
abstract = "In this paper we review 20 years of significant industrial application of the Uppaal Tool Suite for model-based validation, performance evaluation and synthesis. The paper will highlight a number of selected cases, and discuss successes and pitfalls in achieving industrial impact as well as tool sustainability in an academic setting.",
author = "Larsen, {Kim Guldstrand} and Florian Lorber and Brian Nielsen",
year = "2018",
doi = "10.1007/978-3-319-95582-7_2",
language = "English",
isbn = "978-3-319-95581-0",
volume = "10951",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "22----36",
booktitle = "Formal Methods",
address = "Germany",
note = "22nd International Symposium on Formal Methods, FM 2018 Held as Part of the Federated Logic Conference, FloC 2018 ; Conference date: 15-07-2018 Through 17-07-2018",
}