This book constitutes the refereed post-conference proceedings of the 13 th EAI International
Conference on Testbeds and Research Infrastructures for the Development of Networks and
Communications TridentCom 2018 held in November 2018 in Shanghai China. The 10 full papers
were selected from 29 submissions and are grouped into three sessions: wireless and testbed
application uncertainty analytics and formal verification knowledge graph.
