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.

@inproceedings{ComarKM12,
  title = {Integration von Formaler Verifikation und Test},
  author = {Cyrille Comar and Johannes Kanig and Yannick Moy},
  year = {2012},
  researchr = {https://researchr.org/publication/ComarKM12},
  cites = {0},
  citedby = {0},
  pages = {133-148},
  booktitle = {Automotive - Safety & Security 2012, Sicherheit und Zuverlässigkeit für automobile Informationstechnik, 14.-15. November 2012, Karlsruhe, Proceedings},
  editor = {Erhard Plödereder and Peter Dencker and Herbert Klenk and Hubert B. Keller and Silke Spitzer},
  volume = {210},
  series = {LNI},
  publisher = {GI},
  isbn = {978-3-88579-604-6},
}