![](/img/cover-not-exists.png)
[ACM Press the 26th International Conference - Chasseneuil-du-Poitou, France (2018.10.10-2018.10.12)] Proceedings of the 26th International Conference on Real-Time Networks and Systems - RTNS '18 - Formal approach for a verified implementation of Global EDF in Trampoline
Boukir, Khaoula, Béchennec, Jean-Luc, Déplanche, Anne-MarieYear:
2018
Language:
english
DOI:
10.1145/3273905.3273926
File:
PDF, 1.25 MB
english, 2018