Formal Design and Verification of Zone Controller.

Jie Qian, Jing Liu, Xiang Chen, Junfeng Sun

Browse the full APSEC paper archive.