Login / Signup

Proving the Fidelity of Simulations of Event-B Models.

Faqing YangJean-Pierre JacquotJeanine Souquières
Published in: HASE (2014)
Keyphrases
  • simulation models
  • statistical models
  • database
  • parameter estimation
  • mathematical models
  • real time
  • databases
  • expert systems
  • prior knowledge
  • model selection
  • machine learning algorithms
  • event detection