ID - 131917654 TI - Tools for Design, Implementation and Verification of Emerging Information Technologies AU - Yu, Shui AU - Gu, Bruce AU - Qu, Youyang AU - Wang, Xiaodong AU - SpringerLink (Online service) PY - 2023 SN - 9783031334580 9783031334573 9783031334597 PB - Cham Springer Nature Switzerland :Imprint: Springer DB - UniCat KW - Computer architecture. Operating systems KW - computernetwerken UR - https://www.unicat.be/uniCat?func=search&query=sysid:131917654 AB - This book constitutes the refereed post-conference proceedings of the 17th EAI International Conference on Tools for Design, Implementation and Verification of Emerging Information Technologies, TridentCom 2022, which was held in Melbourne, Australia, in November 23-25,2022. The 11 full papers were selected from 30 submissions and deal the emerging technologies of big data, cyber-physical systems and computer communications. The papers are grouped in thematical sessions on network security; network communication; network services; mobile and ad hoc networks; blockchain; machine learning. ER -