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

Nannan He, Michael S. Hsiao

Browse the full ICCD paper archive.