Languages
Miao, Huaikou.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Formal methods and software engineering4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : proceedings /
by:
(1998 :); George, Chris.; Miao, Huaikou.; SpringerLink (Online service)
(Electronic resources)
Structured object-oriented formal language and method9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019 : revised selected papers /
by:
(1998 :); Miao, Huaikou.; SpringerLink (Online service)
(Electronic resources)
Computer and information science 2009
by:
Hu, Gongzu.; Lee, Roger.; Miao, Huaikou.; SpringerLink (Online service)
(Electronic resources)
Subjects
Appl.Mathematics/Computational Methods of Engineering.
Software engineering
Theory of Computation.
Information science
Software Engineering/Programming and Operating Systems.
Information Systems and Communication Service.
Artificial Intelligence (incl. Robotics)
Formal methods (Computer science)
Object-oriented methods (Computer science)
Computer science
Artificial Intelligence.
Engineering.
Computer Systems Organization and Communication Networks.