Formal Verification of Control System Software

Pierre-Loic Garoche
May 2019
PDF
Type
Book
Publication
Princeton University Press
Avatar
Pierre-Loic Garoche
Researcher at ONERA