Tools for Design, Implementation and Verification of Emerging Information Technologies

This book constitutes the refereed post-conference proceedings of the 15^th 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 ...