Formal Verification of Control System Software

Type
Avatar
Pierre-Loic Garoche
Researcher at ONERA