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]
Abstract is missing.