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

Adrien Champion, Rmi Delmas, Michael Dierkes, Pierre-Loc Garoche, Romain Jobredeaux, Pierre Roux

Browse the full FMICS paper archive.