Login / Signup

Justifications for the Event-B Modelling Notation.

Stefan Hallerstede
Published in: B (2007)
Keyphrases
  • event detection
  • databases
  • real time
  • neural network
  • real world
  • machine learning
  • search engine
  • computer vision
  • decision making
  • decision trees
  • news articles
  • news stories
  • real world events
  • visual languages