@inproceedings{0e8fd8e5118c4f9baede1fa2ae974941,
title = "Compositional testing of real-time systems",
abstract = "In this paper we revisit the notion of compositional testing in the setting of real-time systems. In particular, we introduce crucial notions of real-time conformance testing and compositional verification of real-time systems. We illustrate these notions on a Small University example, and show how the tools Uppaal Tron, Uppaal Ecdar and Uppaal SMC provide strong support for an efficient compositional testing methodology.",
author = "Larsen, {Kim G.} and Axel Legay and Marius Miku{\v c}ionis and Brian Nielsen and Ulrik Nyman",
year = "2017",
month = jan,
day = "1",
doi = "10.1007/978-3-319-68270-9_6",
language = "English",
isbn = "9783319682693",
volume = "10500 LNCS",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "107--124",
booktitle = "ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday",
address = "Germany",
note = "Symposium on ModelEd, TestEd, TrustEd in honor of Ed Brinksma on the occasion of his 60th birthday, 2017 ; Conference date: 18-10-2017 Through 18-10-2017",
}