Event-B formalization of a variability-aware component model patterns framework.
Jean-Paul BodeveixArnaud DieumegardMamoun FilaliPublished in: Sci. Comput. Program. (2020)
Keyphrases
- formal model
- theoretical framework
- mathematical model
- conceptual framework
- probabilistic model
- computational model
- bayesian framework
- main contribution
- mathematical framework
- conceptual model
- cost function
- modeling framework
- high level
- publish subscribe systems
- decision model
- generic model
- data sets
- context dependent
- event detection
- statistical model
- management system
- objective function
- similarity measure