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

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

Browse the full EDCC paper archive.