bibtex

@article{FH0,
    title = { Bridging the Gap between Formal Verification and Schedulability Analysis: The Case of Robotics },
    author = {Foughali, Mohammed and Hladik, Pierre-Emmanuel},
    year = {2020},
    journal = {Journal of Systems Architecture},
    pages = {817-830},
    publisher = {Elsevier},
    volume = {101},
    team = {RSD},
}

URL

Publication Sections


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

info visites 1693808