A Formal Data-Centric Approach for Passive Testing of Communication Protocols.
Felipe LalanneStephane MaagPublished in: IEEE/ACM Trans. Netw. (2013)
Keyphrases
- data centric
- communication protocols
- data management
- information management
- data driven
- business processes
- xml schema
- application development
- communication protocol
- routing protocol
- wireless sensor networks
- communication networks
- data representation
- data storage
- information integration
- protocol specification
- data mining
- formal methods
- network structure
- distributed systems
- sensor networks
- query processing