Renaud Clavel

Publication Activity (10 Years)

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

Publications

Renaud Clavel, Laurence Pierre, Régis Leveugle
Towards Robustness Analysis Using PVS. ITP (2011)
Souheib Baarir, Cécile Braunstein, Renaud Clavel, Emmanuelle Encrenaz, Jean-Michel Ilié, Régis Leveugle, Isabelle Mounier, Laurence Pierre, Denis Poitrenaud
Complementary Formal Approaches for Dependability Analysis. DFT (2009)