Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM.

Samira Tasharofi Marjan Sirjani

Published in: Electron. Notes Theor. Comput. Sci. (2009)

Keyphrases

model validation
database
machine learning
knowledge representation
formal models
databases
real world
multiscale
medical images