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.

Formal specification and automated verification of railway software with Frama-C

Virgile Prevosto, Jochen Burghardt, Jens Gerlach, Kerstin Hartig, Hans Werner Pohl, Kim Voellinger. Formal specification and automated verification of railway software with Frama-C. In 11th IEEE International Conference on Industrial Informatics, INDIN 2013, Bochum, Germany, July 29-31, 2013. pages 710-715, IEEE, 2013. [doi]

Authors

Virgile Prevosto

This author has not been identified. Look up 'Virgile Prevosto' in Google

Jochen Burghardt

This author has not been identified. Look up 'Jochen Burghardt' in Google

Jens Gerlach

This author has not been identified. Look up 'Jens Gerlach' in Google

Kerstin Hartig

This author has not been identified. Look up 'Kerstin Hartig' in Google

Hans Werner Pohl

This author has not been identified. Look up 'Hans Werner Pohl' in Google

Kim Voellinger

This author has not been identified. Look up 'Kim Voellinger' in Google
runs on