Patrick Augé

According to our database, Patrick Augé authored at least 2 papers in 2001.

Collaborative distances:

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

2001

MARRELLA and the Verification of an Embedded System.

Dominique Ambroise, Patrick Augé, Kamel Bouchefra, Brigitte Rozoy

Proceedings of the Foundations of Software Science and Computation Structures, 2001

Simulation and verification of an embedded system.

Patrick Augé, Brigitte Rozoy, Thierry Maurin, Roger Reynaud, Kamel Bouchefra

Proceedings of the ISCA 16th International Conference Computers and Their Applications, 2001