|
||
---|---|---|
hal-00653367v1
Conference papers
Formally verified optimizing compilation in ACG-based flight control software ERTS2 2012: Embedded Real Time Software and Systems, AAAF, SEE, Feb 2012, Toulouse, France |
||
inria-00551370v1
Conference papers
Towards Formally Verified Optimizing Compilation in Flight Control Software PPES 2011: Predictability and Performance in Embedded Systems, Mar 2011, Grenoble, France. pp.59-68, ⟨10.4230/OASIcs.PPES.2011.59⟩ |
||
hal-00784976v1
Conference papers
The AADL behaviour annex -- experiments and roadmap International Conference on Engineering Complex Computer Systems, 2007, Auckland, New Zealand. pp.377-382, ⟨10.1109/ICECCS.2007.41⟩ |
||
|