Tools for Design, Implementation and Verification of Emerging Information Technologies

This book constitutes the refereed post-conference proceedings of the 15th EAI International Conference on Tools for Design, Implementation and Verification of Emerging Information Technologies, TridentCom 2020. Due to COVID 19 pandemic the conference was held virtually. The 12 full papers were selected from 32 submissions and deal the emerging technologies of big data, cyber-physical systems and computer communications. The papers are grouped in thematical sessions on computer network and testbed application as well as analytics for big data of images and test.