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.

Use of formal methods for building qualified code generator for safer automotive systems

Nassima Izerrouken, Olivier Ssi Yan Kai, Marc Pantel, Xavier Thirioux. Use of formal methods for building qualified code generator for safer automotive systems. 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 53-56, ACM, 2010. [doi]

Authors

Nassima Izerrouken

This author has not been identified. Look up 'Nassima Izerrouken' in Google

Olivier Ssi Yan Kai

This author has not been identified. Look up 'Olivier Ssi Yan Kai' in Google

Marc Pantel

This author has not been identified. Look up 'Marc Pantel' in Google

Xavier Thirioux

This author has not been identified. Look up 'Xavier Thirioux' in Google
runs on