Event-B Formalization of a Variability-Aware Component Model Patterns Framework.
Jean-Paul BodeveixArnaud DieumegardMamoun FilaliPublished in: FACS (2018)
Keyphrases
- formal model
- computational model
- probabilistic model
- high level
- conceptual framework
- theoretical framework
- management system
- unified model
- modeling framework
- prior knowledge
- em algorithm
- generic model
- mathematical framework
- decision model
- statistical model
- object model
- neural network
- temporal structure
- data model
- context dependent
- image sequences
- theoretical foundation
- bayesian framework
- multi agent
- artificial neural networks
- main contribution
- generative model
- input data
- probability distribution