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},
}

Publication Sections


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

info visites 1274860