A Formal Passive Performance Testing Approach for Distributed Communication Systems.
Xiaoping CheStephane MaagPublished in: ENASE (2013)
Keyphrases
- communication systems
- information processing systems
- blind equalization
- computer systems
- multiple access
- distributed systems
- peer to peer
- underwater acoustic
- communication technologies
- ultra wideband
- channel estimation
- multi agent
- distributed environment
- wireless channels
- computer networks
- lightweight
- formal specification
- cooperative
- formal methods
- web services
- mobile agents
- code division multiple access
- metadata