Annick Truffert

Publication Activity (10 Years)

Years Active: 2009-2010
Publications (10 Years): 0

Publications

Marc Daumas, David R. Lester, Érik Martin-Dorel, Annick Truffert
Improved bound for stochastic formal correctness of numerical algorithms. Innov. Syst. Softw. Eng. 6 (3) (2010)
Marc Daumas, Érik Martin-Dorel, David R. Lester, Annick Truffert
Stochastic Formal Methods for Hybrid Systems. NASA Formal Methods (2009)
Marc Daumas, Érik Martin-Dorel, Annick Truffert, Michel Ventou
A Formal Theory of Cooperative TU-Games. MDAI (2009)