Integrated Formal Approach for Qualified Critical Embedded Code Generator.

Nassima Izerrouken, Marc Pantel, Xavier Thirioux, Olivier Ssi Yan Kai

Browse the full FMICS paper archive.