Login / Signup

Trace equivalence decision: negative tests and non-determinism.

Vincent ChevalHubert Comon-LundhStéphanie Delaune
Published in: CCS (2011)
Keyphrases
  • decision making
  • positive and negative
  • decision process
  • decision makers
  • decision rules
  • real time
  • decision problems
  • data sets
  • influence diagrams
  • information retrieval
  • information systems
  • statistical tests