| 2003 | ||
|---|---|---|
| 4 | EE | Xiaolei Gao, Huaikou Miao, Yihai Chen: Structured Object-Z Software Specification Language. GCC (1) 2003: 956-963 |
| 3 | EE | Xiaolei Gao, Huaikou Miao, Shaoying Liu, Ling Liu: The Availability Semantics of Predicate Data Flow Diagram. GCC (2) 2003: 970-977 |
| 2002 | ||
| 2 | EE | Jing Liu, Huaikou Miao, Xiaolei Gao: A Specification-Based Software Construction Framework for Reuse. ICFEM 2002: 69-79 |
| 1999 | ||
| 1 | EE | Huaikou Miao, Xiaolei Gao, Ling Liu: An Approach to Testing the Nonexistence of Initial State in Z Specifications. Asian Test Symposium 1999: 289-294 |
| 1 | Yihai Chen | [4] |
| 2 | Jing Liu | [2] |
| 3 | Ling Liu | [1] [3] |
| 4 | Shaoying Liu | [3] |
| 5 | Huaikou Miao | [1] [2] [3] [4] |