A Formal Approach to Verify Parameterized Protocols in Mobile Cyber-Physical Systems

• 期刊名称Mobile Information Systems
• 作者Zhang, Long; Hu, Wenyan; Qu, Wanxia; Guo, Yang; Li, Sikun
• 卷第2017卷
• 印刷ISSN1574-017X
• 电子ISSN1875-905X
• 文件大小1434.36KB
• 发表时间2017
• DOI10.1155/2017/5731678
• 页码1-10