Login / Signup

Transforming Event-B Models to Dafny Contracts.

Mohammadsadegh DalvandiMichael J. ButlerAbdolbaghi Rezazadeh
Published in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2015)
Keyphrases
  • probabilistic model
  • machine learning
  • event detection
  • neural network
  • information systems
  • multi agent
  • expert systems
  • statistical models