Combining termination proofs in model transformation systems.
Dénes BisztrayReiko HeckelPublished in: Math. Struct. Comput. Sci. (2014)
Keyphrases
- management system
- objective function
- mathematical model
- high level
- theoretical framework
- finite state machines
- mathematical models
- formal model
- computational models
- conceptual model
- computational model
- theoretical analysis
- probabilistic model
- data sets
- control system
- prior knowledge
- artificial neural networks
- multiscale
- information systems
- simulation model
- learning algorithm
- object model
- real time