An Automatic Coarse-Fine-Granularity Modeling Method for IoT System toward THCPN model checking.

Tao Sun, Xiaoyu Qi, Wenjie Zhong

Browse the full ISPA paper archive.