Search the dblp DataBase

Publications of Author

1. Huaikou Miao, Xiaolei Gao, Ling Liu
   An Approach to Testing the Nonexistence of Initial State in Z Specifications. [Citation Graph (0, 0)][DBLP]
   Asian Test Symposium, 1999, pp:289-294 [Conf]
   
2. Xiaolei Gao, Huaikou Miao, Yihai Chen
   Structured Object-Z Software Specification Language. [Citation Graph (0, 0)][DBLP]
   GCC (1), 2003, pp:956-963 [Conf]
   
3. Xiaolei Gao, Huaikou Miao, Shaoying Liu, Ling Liu
   The Availability Semantics of Predicate Data Flow Diagram. [Citation Graph (0, 0)][DBLP]
   GCC (2), 2003, pp:970-977 [Conf]
   
4. Jing Liu, Huaikou Miao, Xiaolei Gao
   A Specification-Based Software Construction Framework for Reuse. [Citation Graph (0, 0)][DBLP]
   ICFEM, 2002, pp:69-79 [Conf]
   
5. 
   The Design and Implementation of Z Language Editor. [Citation Graph (, )][DBLP]
   
   
6. 
   Algorithm of On-Line Handwriting Signature Verification Based on Discrete Fréchet Distance. [Citation Graph (, )][DBLP]