Login / Signup

Specifying Reactive Systems in B AMN.

Kevin Lano
Published in: ZUM (1997)
Keyphrases
  • reactive systems
  • model checking
  • information flow
  • temporal logic
  • petri net
  • formal methods
  • control flow
  • real time systems
  • state machines
  • real time
  • database
  • artificial intelligence