A Co-verification Method Based on TWCNP-OS for Two-way Cable Network SOC.
Chong LiXiaotong ZhangYadong WanQin WangPublished in: Int. J. Commun. Netw. Syst. Sci. (2008)
Keyphrases
- verification method
- temporal logic
- operating system
- wireless sensor networks
- model checking
- real time
- network structure
- network model
- computer networks
- data sets
- network topologies
- network design
- network management
- data flow
- peer to peer
- communication networks
- virtual machine
- network traffic
- data processing
- low cost
- neural network
- network size
- databases