Sign in

Verification complexity of a class of observational properties for modular discrete events systems.

Xiang YinStéphane Lafortune
Published in: Autom. (2017)
Keyphrases
  • complex systems
  • tractable cases
  • intelligent systems
  • asynchronous circuits
  • real time
  • event detection
  • data sets
  • information retrieval
  • worst case
  • software development
  • desirable characteristics