A formal TTCN-based protocol testing for intelligent network.
Sangki KimHyunjoo BaeKyungpyo JunPublished in: ISCC (1998)
Keyphrases
- test suite
- network simulator
- tcp ip
- communication protocol
- packet filtering
- formal analysis
- reverse engineering
- complex networks
- network model
- network architecture
- auto configuration
- delay tolerant
- protocol stack
- lightweight
- network protocols
- mobility management
- wireless sensor networks
- file transfer
- protocol specification
- remote server
- internet protocol
- computer networks
- network layer
- test cases
- social networks
- network structure
- network security