Verification of WCDMA Protocols and Implementation.

Anyi Chen Jian-Ming Wang Chiu-Han Hsiao

Published in: ATVA (2004)

Keyphrases

real time
protocol specification
efficient implementation
cryptographic protocols
data sets
artificial intelligence
model checking
hardware implementation