Structured Event-B Models and Proofs.

Stefan Hallerstede

Published in: ASM (2010)

Keyphrases

statistical model
statistical models
neural network
multiscale
probabilistic model
model selection
complex systems
case study
event detection
statistical methods
computational models