BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Rasse:Anne

Contributed to:

ICSE 19921992
CAV 19911991

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.