Formal Analysis in Model Management: Exploiting the Power of CZT.

James R. Williams Fiona A. C. Polack Richard F. Paige

Published in: ASM (2010)

Keyphrases

formal analysis
management system
computational model
neural network
probability distribution
statistical model
formal model
objective function
prior knowledge
mathematical model
power consumption
information systems
high level
relational databases
xml documents
metamodel