Publications
Braunschweigische Wissenschaftliche Gesellschaft , vol. 2014, pp. 96–105, 2015 [Online]. Available: http://www.digibib.tu-bs.de/?docid=00060152 2014 [1] P.-L. Garoche, F. Howar, T. Kahsai, and X. Thirioux [...] pp. 65–98, 2014, doi: 10.1007/s10994-013-5419-7 . [11] M. Mauritz, A. Rausch, and I. Schaefer, “Dependable ADAS by combining design time testing and runtime monitoring,” in FORMS, FORMAT 2014 , Braunschweig [...] logical and algebraic methods in programming , vol. 84, no. 1, pp. 54–66, 2015, doi: 10.1016/j.jlamp.2014.07.004 . [6] M. Mauritz, F. Howar, and A. Rausch, “From simulation to operation: using design time …
