Construction of Abstract State Graphs for Understanding Event-B Models.

Daichi Morita Fuyuki Ishikawa Shinichi Honiden

Published in: SETTA (2017)

Keyphrases

statistical models
experimental data
state space
conceptual models
data sets
information systems
probabilistic model
model selection
complex systems
markov property