Tools for Design, Implementation and Verification of Emerging Information Technologies 17th EAI International Conference, TridentCom 2022, Melbourne, Australia, November 23-25, 2022, Proceedings - Yu, Shui; Gu, Bruce; Qu, Youyang; Wang, Xiaodong (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, 2023)