Radio specifications of double conversion tuner for cable modem.

Choong-Yul Cha Jeongki Choi Hyo-Seok Kwon Sang-Gug Lee

Published in: IEEE Trans. Consumer Electron. (2003)

Keyphrases

delay insensitive
formal specification
fiber optic
specification language
wireless communication
data mining
computer simulation
data storage
search engine
concurrent systems
model checking
high level
databases
functional requirements
radio frequency
formal language
reactive systems
artificial intelligence