[ACM Press the 26th International Conference -...

  • Main
  • [ACM Press the 26th International...

[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-Marie
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Year:
2018
Language:
english
DOI:
10.1145/3273905.3273926
File:
PDF, 1.25 MB
english, 2018
Conversion to is in progress
Conversion to is failed