Huaikou Miao – författare

Testbeds and Research Infrastructures for the Development of Networks and Communities

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

Structured Object-Oriented Formal Language and Method

9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers

Formal Methods and Software Engineering

4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings

Computer and Information Science 2009