![](/img/cover-not-exists.png)
Bridging the gap between formal verification and schedulability analysis: The case of robotics
Foughali, Mohammed, Hladik, Pierre-EmmanuelVolume:
111
Journal:
Journal of Systems Architecture
DOI:
10.1016/j.sysarc.2020.101817
Date:
December, 2020
File:
PDF, 2.97 MB
2020