- CSB - MetaPress - Google - Bing - Yahoo
 | 2003 | |
|---|---|---|
| 8 |      | Karl R. P. H. Leung, Wai Wong, Joseph Kee-Yin Ng: Generating test cases from class vectors. Journal of Systems and Software 66(1): 35-46 (2003) |
| 2001 | ||
| 7 | | Calvin Kin-Cheung Hui, Joseph Kee-Yin Ng, Wai Wong, Karl R. P. H. Leung: The Implementation of a Multi-Server Distributed MPEG Video System. IEEE Real Time Technology and Applications Symposium 2001: 111-113 |
| 2000 | ||
| 6 | | Karl R. P. H. Leung, Wai Wong: Towards a More Efficient Way of Generating Test Cases: Class Graphs. APAQS 2000: 285-296 |
| 5 | | Karl R. P. H. Leung, Wai Wong: Deriving test cases using class vectors. APSEC 2000: 146-153 |
| 4 | | Joseph Kee-Yin Ng, Calvin Kin-Cheung Hui, Wai Wong: A multi-server design for a distributed MPEG video system with streaming support and QoS control. RTCSA 2000: 160-165 |
| 1999 | ||
| 3 |  | Wai Wong: Validation of HOL Proofs by Proof Checking. Formal Methods in System Design 14(2): 193-212 (1999) |
| 1995 | ||
| 2 | | Wai Wong: Recording and Checking HOL Proofs. TPHOLs 1995: 353-368 |
| 1993 | ||
| 1 | | Wai Wong: Modelling Bit Vectors in HOL: the word library. HUG 1993: 371-384 |
| 1 | Calvin Kin-Cheung Hui | [4] [7] |
| 2 | Karl R. P. H. Leung | [5] [6] [7] [8] |
| 3 | Joseph Kee-Yin Ng | [4] [7] [8] |