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

Eric Goubault, Sylvie Putot, Philippe Baufreton, Jean Gassino. Static Analysis of the Accuracy in Control Systems: Principles and Experiments. In Stefan Leue, Pedro Merino, editors, Formal Methods for Industrial Critical Systems, 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers. Volume 4916 of Lecture Notes in Computer Science, pages 3-20, Springer, 2007. [doi]

Authors

Eric Goubault

This author has not been identified. Look up 'Eric Goubault' in Google

Sylvie Putot

This author has not been identified. Look up 'Sylvie Putot' in Google

Philippe Baufreton

This author has not been identified. Look up 'Philippe Baufreton' in Google

Jean Gassino

This author has not been identified. Look up 'Jean Gassino' in Google