Nassima Izerrouken
According to our database1,
Nassima Izerrouken
authored at least 5 papers
between 2009 and 2011.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2011
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).
PhD thesis, 2011
Tech. Sci. Informatiques, 2011
2010
Use of formal methods for building qualified code generator for safer automotive systems.
Proceedings of the 1st Workshop on Critical Automotive Applications: Robustness & Safety, 2010
2009
Proceedings of the Formal Methods and Software Engineering, 2009
Proceedings of the Formal Methods for Industrial Critical Systems, 2009