Christine Mazuet

According to our database, Christine Mazuet authored at least 4 papers between 1994 and 2001.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2001

About the Design of Distributed Control Systems: The Quasi-Synchronous Approach.

Paul Caspi, Christine Mazuet, Natacha Reynaud Paligot

Proceedings of the Computer Safety, 2001

1999

Formal Design of Distributed Control Systems with Lustre.

Paul Caspi, Christine Mazuet, Rym Salem, Daniel Weber

Proceedings of the Computer Safety, 1999

1996

Defining the Unit Testing Level of Synchronous Data Flow Programs.

Pascale Thévenod-Fosse, Christine Mazuet, Yves Crouzet

Proceedings of the 15th International Conference on Computer Safety, 1996

1994

On Statistical Structural Testing of Synchronous Data Flow Programs.

Pascale Thévenod-Fosse, Christine Mazuet, Yves Crouzet

Proceedings of the Dependable Computing, 1994