Login / Signup

Concurrent Scheduling of Event-B Models

Pontus BoströmFredrik DegerlundKaisa SereMarina Waldén
Published in: Refine@FM (2011)
Keyphrases
  • prior knowledge
  • scheduling problem
  • graphical models
  • event detection
  • machine learning
  • probabilistic model
  • complex systems
  • neural network model
  • parallel machines
  • event recognition