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