Travelled to:1 × Italy
1 × USA
Collaborated with:B.Rozoy P.Augé K.Bouchefra
Talks about:verif (2) marrella (1) marella (1) system (1) simul (1) embed (1) tool (1)
Person: Dominique Ambroise
DBLP: Ambroise:Dominique
Contributed to:
2001
1996Wrote 2 papers:
- FoSSaCS-2001-AmbroiseABR #embedded #verification
- MARRELLA and the Verification of an Embedded System (DA, PA, KB, BR), pp. 409–412.
- CAV-1996-AmbroiseR #named #simulation #verification
- Marella: A Tool for Simulation and Verification (DA, BR), pp. 458–461.