Assertion-based verification of industrial WLAN system.

Infall Syafalni, Nico Surantha, Duc Khai Lam, Nana Sutisna, Yuhei Nagao, Katsuhiko Wakasugi, Yang Tongxin, Hiroshi Ochi, Taadaki Tsuchiya

Browse the full ISCAS paper archive.