Standalone Event-B Models Analysis Relying on the EB4EB Meta-theory.

Peter Riviere Neeraj Kumar Singh Yamine Aït-Ameur Guillaume Dupont

Published in: ABZ (2023)

Keyphrases

empirical data
data analysis
real time
user satisfaction
experimental data
theoretical developments
database
accurate models
prior knowledge
information systems
machine learning
probabilistic model
parameter estimation
statistical models
quantitative analysis
decision trees
data sets