Login / Signup

Towards Verification of Model Transformations Via Goal-Directed Certification.

Gabor KarsaiAnantha Narayanan
Published in: ASWSD (2006)
Keyphrases
  • goal directed
  • computational model
  • formal model
  • mathematical model
  • real time
  • database systems
  • prior knowledge
  • probabilistic model
  • markov random field
  • input data
  • theoretical analysis
  • theoretical framework