Login / Signup

Upgrading Legacy Instances of Reactive Systems.

Robert J. Hall
Published in: ASE (2000)
Keyphrases
  • reactive systems
  • temporal logic
  • petri net
  • information flow
  • formal methods
  • model checking
  • randomly generated
  • state machines
  • control flow
  • knowledge based systems