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
Conference paper
Publication
Formal Methods for Industrial Critical Systems (FMICS'13)
"own"
Remi Delmas
Remi Delmas
Researcher at ONERA
Pierre Roux
Pierre Roux
Researcher at Onera

Related