Login / Signup

BDD-based software verification - Applications to event-condition-action systems.

Dirk BeyerAndreas Stahlbauer
Published in: Int. J. Softw. Tools Technol. Transf. (2014)
Keyphrases
  • knowledge based systems
  • management system
  • database
  • computer systems
  • relational database management systems
  • event condition action