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 Jianghua Liu and published by Springer Nature. This book was released on 2024-01-04 with total page 179 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed post-conference proceedings of the 18th EAI International Conference on Tools for Design, Implementation and Verification of Emerging Information Technologies, TridentCom 2023, which was held in Nanjing, China, during November 11-13, 2023. The 9 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 blockchain and its applications; emerging applications; AI and its security.