CN:LopezRuiz08

Eduardo R. Lopez Ruiz, Yves Ledru, Michel Lemoine. Extending the use of rigorous methods with aeronautics. In Workshop on Formal Aspects of Safety-Critical Systems, The Safety-Critical Systems Club, 2008.

Contact

Yves Ledru

BibTex Reference

@InProceedings{CN:LopezRuiz08,
   Author = {R. Lopez Ruiz, Eduardo and Ledru, Yves and Lemoine, Michel},
   Title = {Extending the use of rigorous methods with aeronautics},
   BookTitle = {Workshop on Formal Aspects of Safety-Critical Systems, The Safety-Critical Systems Club},
   Year = {2008}
}

EndNote Reference [help]

Get EndNote Reference (.ref)