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

Publication
Formal Methods for Industrial Critical Systems (FMICS'13)
Remi Delmas
Remi Delmas
Researcher at ONERA
Pierre Roux
Pierre Roux
Researcher at Onera

Related