DMCA

Towards Formally Verified Optimizing Compilation in Flight Control Software, in "Bringing Theory to Practice: Predictability and Performance

Cached

Download Links

by Ricardo Bedin França , Denis Favre-felix , Xavier Leroy , Jean Souyris
Venue:in Embedded Systems (PPES 2011)", OpenAccess Series in Informatics (OASIcs), Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik
Citations:3 - 2 self