Sandrine Blazy
1
Documents
Identifiants chercheurs
sandrine-blazy-
0000-0002-0189-0223
- IdRef : 153042567
Présentation
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 1
A Formally Verified WCET Estimation Tool14th International Workshop on Worst-Case Execution Time Analysis, Jul 2014, Madrid, Spain. ⟨10.4230/OASIcs.WCET.2014.11⟩
Communication dans un congrès
hal-01087194v1
|