bibtex

@inproceedings{GQF+7,
    title = { {Work In Progress: Toward a Coq-certified Tool for the Schedulability Analysis of Tasks with Offsets} },
    author = {Guo, Xiaojie and Quinton, Sophie and Fradet, Pascal and Monin, Jean-Fran\c{c}ois},
    month = {Dec},
    year = {2017},
    booktitle = {{RTSS 2017 - IEEE Real-Time Systems Symposium}},
    address = {Paris, France},
    pages = {1-3},
    publisher = {{IEEE}},
    team = {PACSS},
    pdf = {https://hal.inria.fr/hal-01629288/file/offset_WiP.pdf}, hal_id = {hal-01629288}, hal_version = {v1},
}

URL


Contact | Site Map | Site powered by SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4191116