On the Specification and Verification of Model Transformations.
Fernando OrejasMartin WirsingPublished in: Semantics and Algebraic Specification (2009)
Keyphrases
- formal model
- high level
- computational model
- state machine
- probabilistic model
- management system
- data sets
- probability distribution
- mathematical model
- neural network model
- prior knowledge
- database
- theoretical analysis
- colored petri nets
- conceptual model
- closed form
- statistical model
- theoretical framework
- objective function
- data mining
- neural network
- real time