Sign in

Testing, Verification and Improvements of Timeliness in ROS Processes.

Mohammed Y. HazimHongyang QuSandor M. Veres
Published in: TAROS (2016)
Keyphrases
  • formal verification
  • symbolic execution
  • model checking
  • test generation
  • real world
  • image sequences
  • process model
  • data sets
  • test set
  • computational models
  • asynchronous circuits