| |
| 2003 | ||
|---|---|---|
| 8 | EE | 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 | EE | 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 | EE | Karl R. P. H. Leung, Wai Wong: Towards a More Efficient Way of Generating Test Cases: Class Graphs. APAQS 2000: 285-296 |
| 5 | EE | Karl R. P. H. Leung, Wai Wong: Deriving test cases using class vectors. APSEC 2000: 146-153 |
| 4 | EE | 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] |