Marie-Agns Peraldi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
1992–2001
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2001 | ISORC | Scenario and Property Checking of Real-Time Systems Using a Synchronous Approach. | Charles Andr, Marie-Agns Peraldi, Jean-Paul Rigault |
| 1994 | MASCOTS | Simulation of Temporal Behaviour Based on a Synchronous Language. | Charles Andr, Marie-Agns Peraldi |
| 1993 | ECRTS | Effective Implementation of ESTEREL programs. | Charles Andr, Marie-Agns Peraldi |
| 1992 | ECRTS | Synchronous programming of a real-time microcontroller. | Charles Andr, Marie-Agns Peraldi |