External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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.

Authors

Cyrille Comar

This author has not been identified. Look up 'Cyrille Comar' in Google

Johannes Kanig

This author has not been identified. Look up 'Johannes Kanig' in Google

Yannick Moy

This author has not been identified. Look up 'Yannick Moy' in Google
runs on