Tools for Design, Implementation and Verification of Emerging Information Technologies

Download or read book Tools for Design, Implementation and Verification of Emerging Information Technologies written by Shui Yu and published by Springer Nature. This book was released on 2023-06-16 with total page 169 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.