Sciweavers

164

Voted

FMICS
2013
Springer

53views Formal Methods» more FMICS 2013»

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

11 years 10 days ago

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

Download perso.ens-lyon.fr

Adrien Champion, Rémi Delmas, Michael Dierkes...

claim paper

Read More »