Simulation and verification of an embedded system.

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

Browse the full CATA paper archive.