CAP Project

[BiewerDH19] Doping Tests for Cyber-Physical Systems Biewer, S.; D'Argenio, P. R. and Hermanns, H. In Quantitative Evaluation of Systems, 16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Proceedings, pages 313-331, Springer, Lecture Notes in Computer Science 11785, 2019.
Downloads: bibURL: https://doi.org/10.1007/978-3-030-30281-8_18