Abderrahman Matoussi, Frédéric Gervais, Régine Laleau. Une premiere approche de tracabilite entre modeles d'exigences non-fonctionnelles et specifications abstraites Event-B.
Actes du 29eme Congres INFORSID, 2011, Unknown, Unknown Region.
⟨hal-01224635⟩