Sign in

Data-driven equivalence checking.

Rahul SharmaEric SchkufzaBerkeley R. ChurchillAlex Aiken
Published in: OOPSLA (2013)
Keyphrases
  • data driven
  • consistency checking
  • information technology
  • case study
  • high level
  • expert systems
  • model driven
  • interactive dynamic influence diagrams
  • database
  • real time
  • data sets
  • digital libraries