Publications

Filters: Author is Verena Wolf  [Clear All Filters]
2019
S. Biewer, D'Argenio, P. R., and Hermanns, H., “Doping Tests for Cyber-Physical Systems”, in Quantitative Evaluation of Systems, 16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Proceedings, vol. 11785, D. Parker and Wolf, V., Eds. Springer, 2019, pp. 313–331.PDF icon paper-791.pdf (724.55 KB)

Dependable Systems Group - FAMAF, Universidad Nacional de Córdoba
Medina Allende s/n (Ciudad Universitaria) - X5000HUA Córdoba, Argentina
Tel: +54 351 535 3701, ext. 41306 - Fax: +54 351 433 4054