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