Login / Signup

Bridging the gap between formal verification and schedulability analysis: The case of robotics.

Mohammed FoughaliPierre-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