Sandrine Blazy
1
Documents
Identifiants chercheurs
sandrine-blazy-
0000-0002-0189-0223
- IdRef : 153042567
Présentation
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
Formally verified optimizing compilation in ACG-based flight control softwareERTS2 2012: Embedded Real Time Software and Systems, AAAF, SEE, Feb 2012, Toulouse, France
Communication dans un congrès
hal-00653367v1
|