Khaoula Boukir, Jean-Luc Béchennec, Anne-Marie Déplanche. Requirement specification and model-checking of a real-time scheduler implementation. In Liliana Cucu-Grosjean, Roberto Medina 0001, Sebastian Altmeyer, Jean-Luc Scharbarg, editors, 28th International Conference on Real Time Networks and Systems, RTNS 2020, Paris, France, June 10, 2020. pages 89-99, ACM, 2020. [doi]
Abstract is missing.