Patrick Aug
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2001–2001
Best venue rank
National
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2001 | CATA | Simulation and verification of an embedded system. | Patrick Aug, Brigitte Rozoy, Thierry Maurin, Roger Reynaud, Kamel Bouchefra |
| 2001 | FOSSACS | MARRELLA and the Verification of an Embedded System. | Dominique Ambroise, Patrick Aug, Kamel Bouchefra, Brigitte Rozoy |