Sciweavers

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

6

FMICS
2007
Springer

favoriteEmaildiscussreport

100views Formal Methods» more FMICS 2007»

Static Analysis of the Accuracy in Control Systems: Principles and Experiments

13 years 10 months ago

Static Analysis of the Accuracy in Control Systems: Principles and Experiments

Download www.ens-lyon.fr

Eric Goubault, Sylvie Putot, Philippe Baufreton, J

Real-time Traffic

FMICS 2007 |

claim paper

Related Content

» Static Analysis to Enforce Safe Value Flow in Embedded Control Systems

» Geometric Accuracy Analysis for Discrete Surface Approximation

» Discrete control for safe execution of IT automation workflows

» Static and Dynamic Scoring by Web Page Grouping

» Static Timing Analysis of RealTime Operating System Code

» Experiences from Applying WCET Analysis in Industrial Settings

» High accuracy failure injection in parallel and distributed systems using virtualization

» Applying Static WCET Analysis to Automotive Communication Software

» Supporting timeliness and accuracy in distributed realtime contentbased video analysis

Post Info
More Details (n/a)

Added	07 Jun 2010
Updated	07 Jun 2010
Type	Conference
Year	2007
Where	FMICS
Authors	Eric Goubault, Sylvie Putot, Philippe Baufreton, Jean Gassino

Comments (0)