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)

Electronic version of the publication:

Created from the Publication Database of the Vienna University of Technology.