Xavier Dumas, Claire Pagetti, Laurent Sagaspe, Pierre Bieber, Philippe Dhaussy. Vers la génération de modèles de sûreté de fonctionnement. In Yamine Aït Ameur, editor, 2ème Conférence Francophone sur les Architectures Logicielles (CAL 2008), 3-7 Mars 2008, Montréal, Québec, Canada. Volume RNTI-L-2 of Revue des Nouvelles Technologies de l Information, pages 157-172, Cépaduès-Éditions, 2008.
Abstract is missing.