Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-Linear and Linear Analyses

Adrien Champion, Remi Delmas, Michael Dierkes, Pierre-Loic Garoche, Romain Jobredeaux, Pierre Roux
January 2013
Cite DOI
Type
Journal article
Publication
SAE International Journal of Aerospace
"own"
Remi Delmas
Remi Delmas
Researcher at ONERA
Pierre Roux
Pierre Roux
Researcher at Onera

Related