Author:
Fei Yuan,Zhu Huibiao,Li Xin
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Event-based digital-twin model for emergency management;Management and Engineering of Critical Infrastructures;2024
2. Formal Verification of Twin Clutch Gear Control;VAWKUM Transactions on Computer Sciences;2022-12-30
3. Verification of RabbitMQ with Kerberos Using Timed Automata;Mobile Networks and Applications;2022-05-09
4. Formal Verification of HPS-based Master-Slave Scheme in MEC with Timed Automata;2021 IEEE 20th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom);2021-10
5. Modeling and verifying NLSR protocol of NDN for CPS using UPPAAL;Journal of Software: Evolution and Process;2021-09-29