Christine Mazuet

Publication Activity (10 Years)

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

Publications

Paul Caspi, Christine Mazuet, Natacha Reynaud Paligot
About the Design of Distributed Control Systems: The Quasi-Synchronous Approach. SAFECOMP (2001)
Paul Caspi, Christine Mazuet, Rym Salem, Daniel Weber
Formal Design of Distributed Control Systems with Lustre. SAFECOMP (1999)
Pascale Thévenod-Fosse, Christine Mazuet, Yves Crouzet
Defining the Unit Testing Level of Synchronous Data Flow Programs. SAFECOMP (1996)
Pascale Thévenod-Fosse, Christine Mazuet, Yves Crouzet
On Statistical Structural Testing of Synchronous Data Flow Programs. EDCC (1994)