Preserving Functional Correctness of Cyber-Physical System Controllers: From Model to Code.

Guillaume Davy, Christophe Garion, Pierre-Loc Garoche, Pierre Roux, Xavier Thirioux

Browse the full FDL paper archive.