Huaikou Miao

Identifiers

Open LibraryOL8005432A

Top Subjects

Software engineering (1)

Books by Huaikou Miao

Total count: 4

Formal Methods and Software Engineering4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings

Springer London, Limited2003-01-01
Computer and Information Science 2009

Springer London, Limited2009-01-01
Testbeds and Research Infrastructures for the Development of Networks and Communities13th EAI International Conference, TridentCom 2018, Shanghai, ... and Telecommunications Engineering )

Springer2019-02-02
Structured Object-Oriented Formal Language and Method9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected ...

Springer2020-02-20