Filtrer vos résultats
- 1
- 1
- 2
- 2
- 1
- 1
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
2 résultats
|
|
triés par
|
|
A Generic Coq Proof of Typical Worst-Case AnalysisRTSS 2018 - 39th IEEE Real-Time Systems Symposium, Dec 2018, Nashville, United States. pp.1-12
Communication dans un congrès
hal-01903752v1
|
||
|
Integrating Formal Schedulability Analysis into a Verified OS KernelComputer Aided Verification, Jul 2019, New York, United States. pp.496-514, ⟨10.1007/978-3-030-25543-5_28⟩
Communication dans un congrès
hal-02289494v1
|