Specification and Verification of Dynamic Communication Systems.
Jörg BauerIna SchaeferTobe TobenBernd WestphalPublished in: ACSD (2006)
Keyphrases
- communication systems
- information processing systems
- computer systems
- blind equalization
- multiple access
- formal verification
- underwater acoustic
- communication technologies
- channel estimation
- wireless channels
- formal methods
- databases
- asynchronous circuits
- computer simulation
- dynamic environments
- high level
- ultra wideband
- specification language
- formal specification
- information systems