Login / Signup

Who watches the watchers: Validating the ProB Validation Tool.

Jens BendispostoSebastian KringsMichael Leuschel
Published in: F-IDE (2014)
Keyphrases
  • object recognition
  • real time
  • feature selection
  • bayesian networks
  • multi agent systems