External Links

Cite Key

Statistics

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

PDF

Tags

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.

Towards verification-based development of in-vehicle safety critical software: a case study

Martijn M. H. P. van den Heuvel, Reinder J. Bril, Peter van de Velde, Johan J. Lukkien. Towards verification-based development of in-vehicle safety critical software: a case study. In Jean-Charles Fabre, Olivier Guetta, Mario Trapp, editors, 1st Workshop on Critical Automotive Applications: Robustness & Safety, CARS 2010 (EDCC Workshop), Valencia, Spain, 27 April 2010. ACM International Conference Proceeding Series, pages 35-38, ACM, 2010. [doi]

Authors

Martijn M. H. P. van den Heuvel

This author has not been identified. Look up 'Martijn M. H. P. van den Heuvel' in Google

Reinder J. Bril

This author has not been identified. Look up 'Reinder J. Bril' in Google

Peter van de Velde

This author has not been identified. Look up 'Peter van de Velde' in Google

Johan J. Lukkien

This author has not been identified. Look up 'Johan J. Lukkien' in Google
runs on