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


Contact | Plan du site | Site réalisé avec SPIP 4.2.8 + AHUNTSIC [CC License]

info visites 3885707