Honghao Gao

Yuyu Yin

Huaikou Miao

Xiaoxian Yang

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

13th EAI International Conference, TridentCom 2018, Shanghai, China, December 1-3, 2018, Proceedings

Testbeds and Research Infrastructures for the Development of Networks and Communities

Chris George

This book constitutes the refereed proceedings of the 4th International Conference on Formal Engineering methods, ICFEM 2002, held in Shanghai, China, in October 2002. The 43 revised full papers and 16 revised short papers presented together with 5 invited contributions were carefully reviewed and selected from a total of 108 submissions. The papers are organized in topical sections on component engineering and software architecture, method integration, specification techniques and languages, tools and environments, refinement, applications, validation and verification, UML, and semantics.

Huaikou Miao

Books

Your next favorite book is out there