Login / Signup

Modeling and Testing of Network Protocols with Parallel State Machines.

Xia YinJiangyuan YaoZhiliang WangXingang ShiJun BiJianping Wu
Published in: IEICE Trans. Inf. Syst. (2015)
Keyphrases
  • network protocols
  • state machines
  • state machine
  • sequence diagrams
  • petri net
  • information systems
  • recurrent networks