Christine Mazuet
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
1994–2001
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2001 | SAFECOMP | About the Design of Distributed Control Systems: The Quasi-Synchronous Approach. | Paul Caspi, Christine Mazuet, Natacha Reynaud Paligot |
| 1999 | SAFECOMP | Formal Design of Distributed Control Systems with Lustre. | Paul Caspi, Christine Mazuet, Rym Salem, Daniel Weber |
| 1996 | SAFECOMP | Defining the Unit Testing Level of Synchronous Data Flow Programs. | Pascale Thvenod-Fosse, Christine Mazuet, Yves Crouzet |
| 1994 | EDCC | On Statistical Structural Testing of Synchronous Data Flow Programs. | Pascale Thvenod-Fosse, Christine Mazuet, Yves Crouzet |