Olfa Mosbahi, Leila Jemni Ben Ayed. Utilisation conjointe de B et TLA+ pour la modélisation et la vérification des systèmes réactifs.
Premières Rencontres des Jeunes Chercheurs en Informatique Temps Réel 2005 - RJCITR'05, Sep 2005, Nancy, France. pp.31-34.
⟨inria-00000800⟩