Validating Emergent Behaviours in Systems-of-Systems through Model Transformations.
Valdemar Vicente Graciano NetoPublished in: SRC@MoDELS (2016)
Keyphrases
- management system
- computational model
- mathematical models
- formal model
- high level
- image sequences
- similarity measure
- distributed systems
- simulation model
- building blocks
- parameter estimation
- conceptual model
- complex systems
- physical systems
- neural network
- statistical model
- mathematical model
- theoretical framework
- maximum likelihood
- probabilistic model
- prior knowledge
- search engine