Integrated Formal Approach for Qualified Critical Embedded Code Generator - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Nassima Izerrouken, Marc Pantel, Xavier Thirioux, Olivier Ssi Yan Kai. Integrated Formal Approach for Qualified Critical Embedded Code Generator. In María Alpuente, Byron Cook, Christophe Joubert, editors, Formal Methods for Industrial Critical Systems, 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings. Volume 5825 of Lecture Notes in Computer Science, pages 199-201, Springer, 2009. [doi]

The following publications are possibly variants of this publication:

Développement prouvé de composants formels pour un générateur de code embarqué critique pré-qualifié. (Proved Development of Formal Components for a Pre-Qualified Critical Embedded Code Generator)Nassima Izerrouken. PhD thesis, National Polytechnic Institute of Toulouse, France, 2011. [doi]

Use of formal methods for building qualified code generator for safer automotive systemsNassima Izerrouken, Olivier Ssi Yan Kai, Marc Pantel, Xavier Thirioux. edcc 2010: 53-56 [doi]

runs on WebDSL