bibtex

@inproceedings{Fou0,
    title = { A Two-Step Hybrid Approach for Verifying Real-Time Robotic Systems },
    author = {Foughali, Mohammed},
    year = {2020},
    booktitle = {2020 IEEE 26th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)},
    pages = {1--10},
    team = {RSD},
}

URL

Publication Sections


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

info visites 1693840