Integration von Formaler Verifikation und Test

Cyrille Comar, Johannes Kanig, Yannick Moy. Integration von Formaler Verifikation und Test. In Erhard Plödereder, Peter Dencker, Herbert Klenk, Hubert B. Keller, Silke Spitzer, editors, Automotive - Safety & Security 2012, Sicherheit und Zuverlässigkeit für automobile Informationstechnik, 14.-15. November 2012, Karlsruhe, Proceedings. Volume 210 of LNI, pages 133-148, GI, 2012.