Verification and validation ; Formal methods ; Cyberphysical systems

Formal Verification for Autopilot - Preliminary state of the art
Christophe Garion, Gautier Hattenberger, Baptiste Pollien, Pierre Roux, Xavier Thirioux
Cite URL