Talks and Poster Presentations (with Proceedings-Entry):
L. Cardelli, M. Tribastone, M. Tschaikowski, A. Vandin:
"Guaranteed Error Bounds on Approximate Model Abstractions through Reachability Analysis";
Talk: Proc. of QEST 2018: the 15th International Conference on Quantitative Evaluation of Systems,
Beijing, China;
2018-09-04
- 2018-09-07; in: "Quantitative Evaluation of Systems - 15th International Conference",
A. McIver, A. Horvath (ed.);
Springer,
Beijing, China
(2018),
ISBN: 978-3-319-99153-5;
104
- 121.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-319-99154-2_7
Electronic version of the publication:
https://publik.tuwien.ac.at/files/publik_274103.pdf