Login / Signup
Bridging the gap between formal verification and schedulability analysis: The case of robotics.
Mohammed Foughali
Pierre-Emmanuel Hladik
Published in:
J. Syst. Archit. (2020)
Keyphrases
</>
formal verification
data sets
neural network
computer vision
data analysis
mobile robot
rough sets
statistical analysis
orders of magnitude