Formal Verification of HPS-based Master-Slave Scheme in MEC with Timed Automata.

Jiaqi Yin, Huibiao Zhu, Yuan Fei

Browse the full TrustCom paper archive.