Tsinghua Science and Technology Open Access Editor-in-Chief: Jiaguang SUN
Home Tsinghua Science and Technology Keyword
Keyword: model checking
Open Access
Specification and Verification of a Topology-Aware Access Control Model for Cyber-Physical Space
Yan Cao, Zhiqiu Huang, Shuanglong Kan, [...], Dajuan Fan, Yang Yang << Fewer
Published: 29 April 2019
2019, 24 (5): 497-519
Total 1