Patrick Augé

Publication Activity (10 Years)

Years Active: 2001-2001
Publications (10 Years): 0

Publications

Dominique Ambroise, Patrick Augé, Kamel Bouchefra, Brigitte Rozoy
MARRELLA and the Verification of an Embedded System. FoSSaCS (2001)
Patrick Augé, Brigitte Rozoy, Thierry Maurin, Roger Reynaud, Kamel Bouchefra
Simulation and verification of an embedded system. CATA (2001)