Login / Signup

A Framework for Inheritance Testing from VDM++ Specifications.

Aamer NadeemMichael R. Lyu
Published in: PRDC (2006)
Keyphrases
  • machine learning
  • data structure
  • lightweight
  • search engine
  • metadata
  • high level
  • bayesian networks
  • multiscale
  • natural language
  • hidden markov models