[IEEE 2017 IEEE Real-Time Systems Symposium (RTSS) - Paris (2017.12.5-2017.12.8)] 2017 IEEE Real-Time Systems Symposium (RTSS) - Work-in-Progress: Toward a Coq-Certified Tool for the Schedulability Analysis of Tasks with Offsets
Guo, Xiaojie, Quinton, Sophie, Fradet, Pascal, Monin, Jean-FrancoisYear:
2017
Language:
english
DOI:
10.1109/RTSS.2017.00049
File:
PDF, 155 KB
english, 2017