Login / Signup

Verification of Large State/Event Systems Using Compositionality and Dependency Analysis.

Jørn Lind-NielsenHenrik Reif AndersenHenrik HulgaardGerd BehrmannKåre J. KristoffersenKim Guldstrand Larsen
Published in: Formal Methods Syst. Des. (2001)
Keyphrases
  • dependency analysis
  • complex systems
  • event detection
  • databases
  • expert systems
  • formal methods
  • database
  • object oriented
  • finite state machines