Back to Results
First PageMeta Content
Computer arithmetic / Abstract interpretation / Floating point / Interval arithmetic / Fluctuat / Rounding / Infinite loop / Affine arithmetic / Lookup table / Recursion / Division algorithm / Fixed-point arithmetic


Static Analysis of the Accuracy in Control Systems : Principles and Experiments Eric Goubault1 , Sylvie Putot1 , Philippe Baufreton2 , and Jean Gassino3 1 CEA/LISTGif-sur-Yvette, {eric.goubault,sylvie.putot}@cea.
Add to Reading List

Document Date: 2009-11-24 06:44:26


Open Document

File Size: 278,04 KB

Share Result on Facebook