Sciweavers

Share
FMICS
2013
Springer

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

4 years 5 days ago
Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-linear and Linear Analyses
Adrien Champion, Rémi Delmas, Michael Dierkes
Added 20 May 2015
Updated 20 May 2015
Type Journal
Year 2013
Where FMICS
Authors Adrien Champion, Rémi Delmas, Michael Dierkes, Pierre-Loïc Garoche, Romain Jobredeaux, Pierre Roux
Comments (0)
books