 | 2010 |
|---|
| 9 |       | Xiaolei Gao:
The Z Specification Refinement of Based on Tableau.
FCS 2010: 87-90 |
| 8 |  | Xiaolei Gao:
Implementation of Z Language Edit Tool in MS Word.
ISPA 2010: 257-262 |
| 2009 |
|---|
| 7 | | Xiaolei Gao:
The Design and Implementation of Z Language Editor.
ICA3PP 2009: 684-692 |
| 6 | | Xiaolei Gao,
Huaikou Miao:
Proving Total Correctness of Refinement Based on Tableau.
ISPA 2009: 702-707 |
| 2008 |
|---|
| 5 | | Jianbin Zheng,
Xiaolei Gao,
Enqi Zhan,
Zhangcan Huang:
Algorithm of On-Line Handwriting Signature Verification Based on Discrete Fréchet Distance.
ISICA 2008: 461-469 |
| 2003 |
|---|
| 4 | | Xiaolei Gao,
Huaikou Miao,
Yihai Chen:
Structured Object-Z Software Specification Language.
GCC (1) 2003: 956-963 |
| 3 | | Xiaolei Gao,
Huaikou Miao,
Shaoying Liu,
Ling Liu:
The Availability Semantics of Predicate Data Flow Diagram.
GCC (2) 2003: 970-977 |
| 2002 |
|---|
| 2 | | Jing Liu,
Huaikou Miao,
Xiaolei Gao:
A Specification-Based Software Construction Framework for Reuse.
ICFEM 2002: 69-79 |
| 1999 |
|---|
| 1 | | Huaikou Miao,
Xiaolei Gao,
Ling Liu:
An Approach to Testing the Nonexistence of Initial State in Z Specifications.
Asian Test Symposium 1999: 289-294 |
Data released under the ODC-BY 1.0 license — See also our legal information page