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