bibtex

@inproceedings{GLL+9b,
    title = {Integrating Formal Schedulability Analysis into a Verified OS Kernel },
    author = {Guo, Xiaojie and Lesourd, Maxime and Liu, Mengqi and Rieg, Lionel and Shao, Zhong},
    year = {2019},
    booktitle = {Computer Aided Verification - 31st International Conference, {CAV} 2019, July 15-18, Proceedings},
    team = {SYNC, PACSS, axe_FormalProofs, axe_SharedResources},
}


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

info visites 4183231