Gérard Morel, Dominique Méry, Jean-Baptiste Léger, Thierry Lecomte. Proof-Oriented Fault-Tolerant Systems Engineering : Rationales, Experiments and Open Issues.
7th IFAC Symposium on Cost Oriented Automation - COA'2004, 2004, Gatineau, Québec, Canada.
⟨inria-00100068⟩