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]
@inproceedings{GuoQFM17,
title = {Work-in-Progress: Toward a Coq-Certified Tool for the Schedulability Analysis of Tasks with Offsets},
author = {Xiaojie Guo and Sophie Quinton and Pascal Fradet and Jean-Francois Monin},
year = {2017},
doi = {10.1109/RTSS.2017.00049},
url = {http://doi.ieeecomputersociety.org/10.1109/RTSS.2017.00049},
researchr = {https://researchr.org/publication/GuoQFM17},
cites = {0},
citedby = {0},
pages = {387-389},
booktitle = {2017 IEEE Real-Time Systems Symposium, RTSS 2017, Paris, France, December 5-8, 2017},
publisher = {IEEE Computer Society},
isbn = {978-1-5386-1415-0},
}