Publications de
Marc Daumas, David Lester, Erik Martin-Dorel, Annick Truffert
Improved bound for stochastic formal correctness of numerical algorithms
Dans : Innovations in Systems and Software Engineering, Springer, Vol. 6 N. 3, p. 173-179, 2010.
Marc Daumas, David Lester, Erik Martin-Dorel, Annick Truffert
Stochastic formal correctness of numerical algorithms (regular paper)
Dans : International Symposium on NASA Formal Methods (NFM 2009), Moffett Field, California, 06/04/09-08/04/09, NASA, p. 136-145, 2009.
Accès : http://ti.arc.nasa.gov/m/events/nfm09/proceedings.pdf
BibTeX