Login / Signup
A Lightweight Executable Test Sequence Generation Method for Communication Protocols Modeled by EFSM.
Tao Huang
Anthony Chung
Published in:
Int. J. Comput. Their Appl. (2006)
Keyphrases
</>
lightweight
generation method
communication protocols
finite state machines
process algebra
communication networks
communication protocol
wireless sensor networks
rfid tags
database
building blocks
dos attacks
communication infrastructure
authentication protocol