Login / Signup
Facilitating emulation project analysis through the use of protocol state machines.
Torben Meyer
Steffen Straßburger
Published in:
WSC (2012)
Keyphrases
</>
state machines
formal analysis
real time
learning algorithm
petri net
recurrent networks