Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

19

FMICS
2013
Springer

favoriteEmaildiscussreport

53views Formal Methods» more FMICS 2013»

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

8 years 11 months 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

Real-time Traffic

FMICS 2013 | Formal Methods |

claim paper

Related Content

» Towards an Industrial Use of FLUCTUAT on SafetyCritical Avionics Software

» Worstcase performance analysis of synchronous dataflow scenarios

» Sharp Stability Estimates for the ForceBased Quasicontinuum Approximation of Homogeneous T...

» On Model Checking Techniques for Randomized Distributed Systems

» Verification of device drivers and intelligent controllers a case study

» Cognitive Vision Needs Attention to Link Sensing with Recognition

Post Info
More Details (n/a)

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)