Olivier Ssi Yan Kai

Publication Activity (10 Years)

Years Active: 2009-2011
Publications (10 Years): 0

Publications

Nassima Izerrouken, Marc Pantel, Xavier Thirioux, Olivier Ssi Yan Kai
Expérimentations en Coq pour un générateur de code qualifiable. Tech. Sci. Informatiques 30 (4) (2011)
Nassima Izerrouken, Olivier Ssi Yan Kai, Marc Pantel, Xavier Thirioux
Use of formal methods for building qualified code generator for safer automotive systems. EDCC-CARS (2010)
Nassima Izerrouken, Marc Pantel, Xavier Thirioux, Olivier Ssi Yan Kai
Integrated Formal Approach for Qualified Critical Embedded Code Generator. FMICS (2009)