Verification of Key Generation from Individual OFDM Subcarrier's Channel Response.
Junqing ZhangRoger F. WoodsAlan MarshallTrung Quang DuongPublished in: GLOBECOM Workshops (2015)
Keyphrases
- ofdm system
- channel estimation
- orthogonal frequency division multiplexing
- multipath
- fading channels
- carrier frequency offset
- channel coding
- estimation algorithm
- bit error rate
- communication systems
- multi channel
- wireless communication systems
- wireless communication
- model checking
- mimo systems
- formal verification
- communication channels
- additive white gaussian noise
- high data rate