Login / Signup

AADL behavioral annex based on generalized rewriting logic.

Malika BenammarFaiza BelalaFateh Latreche
Published in: RCIS (2008)
Keyphrases
  • classical logic
  • multi valued
  • artificial intelligence
  • logic programming
  • modal logic
  • human behavior
  • defeasible logic
  • rewrite rules
  • test case generation
  • queries using views