Etienne Closse
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2000–2001
Best venue rank
A*
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2001 | CAV | TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems. | Etienne Closse, Michel Poize, Jacques Pulou, Joseph Sifakis, Patrick Venier, Daniel Weil, Sergio Yovine |
| 2000 | CASES | Efficient compilation of ESTEREL for real-time embedded systems. | Daniel Weil, Valrie Bertin, Etienne Closse, Michel Poize, Patrick Venier, Jacques Pulou |