@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},
}
bibtex
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.13 +
AHUNTSIC
[CC License]
info visites 6009434
|
|
|