Travelled to:1 × Australia
1 × Denmark
Collaborated with:∅ J.Fernandez H.Garavel L.Mounier C.Rodríguez J.Sifakis
Talks about:diagnosi (1) communic (1) toolbox (1) program (1) system (1) verif (1) finit (1) error (1) loto (1)
Person: Anne Rasse
DBLP: Rasse:Anne
Contributed to:
1992
1991Wrote 2 papers:
- ICSE-1992-FernandezGMRRS #source code #verification
- A Toolbox for the Verification of LOTOS Programs (JCF, HG, LM, AR, CR, JS), pp. 246–259.
- CAV-1991-Rasse #communication #fault #finite
- Error Diagnosis in Finite Communicating Systems (AR), pp. 114–124.