Login / Signup
Denis Favre-Felix
Publication Activity (10 Years)
Years Active: 2004-2011
Publications (10 Years): 0
</>
Publications
</>
Ricardo Bedin França
,
Denis Favre-Felix
,
Xavier Leroy
,
Marc Pantel
,
Jean Souyris
Towards Formally Verified Optimizing Compilation in Flight Control Software.
PPES
(2011)
Jean Souyris
,
Denis Favre-Felix
Proof of properties in avionics.
IFIP Congress Topical Sessions
(2004)