Login / Signup

Rule-based Verification of Scenarios with Pre-conditions and Post-conditions.

Tatsuya ToyamaAtsushi Ohnishi
Published in: RE (2005)
Keyphrases
  • sufficient conditions
  • data sets
  • real world
  • data mining
  • website
  • expert systems
  • model checking
  • information systems
  • multimedia
  • multi agent systems
  • multiresolution
  • management system
  • environmental conditions