Login / Signup
Modeling and Testing of Network Protocols with Parallel State Machines.
Xia Yin
Jiangyuan Yao
Zhiliang Wang
Xingang Shi
Jun Bi
Jianping Wu
Published in:
IEICE Trans. Inf. Syst. (2015)
Keyphrases
</>
network protocols
state machines
state machine
sequence diagrams
petri net
information systems
recurrent networks