Xiaojie Guo, Sophie Quinton, Pascal Fradet, Jean-Francois Monin. Work-in-Progress: Toward a Coq-Certified Tool for the Schedulability Analysis of Tasks with Offsets. In 2017 IEEE Real-Time Systems Symposium, RTSS 2017, Paris, France, December 5-8, 2017. pages 387-389, IEEE Computer Society, 2017. [doi]
Abstract is missing.