![]() | ![]() |
2001 | ||
---|---|---|
3 | EE | Paul Caspi, Christine Mazuet, Natacha Reynaud Paligot: About the Design of Distributed Control Systems: The Quasi-Synchronous Approach. SAFECOMP 2001: 215-226 |
1999 | ||
2 | EE | Paul Caspi, Christine Mazuet, Rym Salem, Daniel Weber: Formal Design of Distributed Control Systems with Lustre. SAFECOMP 1999: 396-409 |
1994 | ||
1 | Pascale Thévenod-Fosse, Christine Mazuet, Yves Crouzet: On Statistical Structural Testing of Synchronous Data Flow Programs. EDCC 1994: 250-267 |
1 | Paul Caspi | [2] [3] |
2 | Yves Crouzet | [1] |
3 | Natacha Reynaud Paligot | [3] |
4 | Rym Salem | [2] |
5 | Pascale Thévenod-Fosse | [1] |
6 | Daniel Weber | [2] |