×
模态框（Modal）标题
在这里添加一些文本
Close
Close
Submit
Cancel
Confirm
×
模态框（Modal）标题
×
Authorized by:China Association for Science and Technology
Sponsored by:China Institute of Communications
ISSN 1000-436X CN 11-2102/TN
Home
About Us
Editorial Board
Instruction
Ethics Statement
Agreement
Subscription
Conference
Download
Contact Us
中文
About Journal
Journal Information
Instructions for Authors
Manuscript Format
Review Process
Downlaod
Contact Us
Toggle navigation
Home
About Us
About Journal
Journal Information
Editorial Board
Instruction
Instructions for Authors
Manuscript Format
Review Process
Downlaod
Ethics Statement
Agreement
Subscription
Conference
Contact Us
中文
Modeling and verifying based on timed automata of Internet of things gateway security system
Guoqing WANG,Lei ZHUANG,Ruimin WANG,Yu SONG,Kunli ZHANG
Journal on Communications . 2018, (
3
): 63 -75 . DOI: 10.11959/j.issn.1000-436x.2018042
