Bounded model checking of embedded software in wireless cognitive radio systems.

Nannan He Michael S. Hsiao

Published in: ICCD (2007)

Keyphrases

cognitive radio
embedded software
wireless communication
bounded model checking
development projects
spectrum sensing
wireless networks
distributed systems
embedded systems
software architecture
cellular networks
management system
temporal logic
communication networks
base station
low cost
artificial intelligence