Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
L. Cardelli, M. Tribastone, M. Tschaikowski, A. Vandin:
"Guaranteed Error Bounds on Approximate Model Abstractions through Reachability Analysis";
Vortrag: Proc. of QEST 2018: the 15th International Conference on Quantitative Evaluation of Systems,
Beijing, China;
04.09.2018
- 07.09.2018; in: "Quantitative Evaluation of Systems - 15th International Conference",
A. McIver, A. Horvath (Hrg.);
Springer,
Beijing, China
(2018),
ISBN: 978-3-319-99153-5;
S. 104
- 121.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-319-99154-2_7
Elektronische Version der Publikation:
https://publik.tuwien.ac.at/files/publik_274103.pdf
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.