Verification methodology for the IMT-Advanced channel simulator.

Kyung Won Kim Jae Joon Park Sungroh Yoon Seong-Jun Oh

Published in: IEICE Electron. Express (2011)

Keyphrases

model checking
multi channel
database
simulation model
design methodology
formal verification
verification method
data sets
genetic algorithm
image quality
temporal logic
web intelligence
completely automated