Jiaqi Yin, Huibiao Zhu, Yuan-fei. Formal Verification of HPS-based Master-Slave Scheme in MEC with Timed Automata. In 20th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2021, Shenyang, China, October 20-22, 2021. pages 68-75, IEEE, 2021. [doi]
@inproceedings{YinZF21-1,
title = {Formal Verification of HPS-based Master-Slave Scheme in MEC with Timed Automata},
author = {Jiaqi Yin and Huibiao Zhu and Yuan-fei},
year = {2021},
doi = {10.1109/TrustCom53373.2021.00027},
url = {https://doi.org/10.1109/TrustCom53373.2021.00027},
researchr = {https://researchr.org/publication/YinZF21-1},
cites = {0},
citedby = {0},
pages = {68-75},
booktitle = {20th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2021, Shenyang, China, October 20-22, 2021},
publisher = {IEEE},
isbn = {978-1-6654-1658-0},
}