Tools for Design, Implementation and Verification of Emerging Information Technologies 15th EAI International Conference, TridentCom 2020, Virtual Event, November 13, 2020, Proceedings - Weng, Yu; Yin, Yuyu; Kuang, Li; Zhang, Zijian (Springer International Publishing, 2021)