DMCA

Author manuscript, published in "ERTS2 2012: Embedded Real Time Software and Systems (2012)" Formally verified optimizing compilation in ACG-based flight control software (2011)

Cached

Download Links

by Ricardo Bedin França , Rine Blazy , Denis Favre-felix , Xavier Leroy , Marc Pantel , Jean Souyris