| 2007 |
|---|
| 9 | EE | K. S. Cheung,
K. O. Chow:
Property-Preserving Composition of Distributed System Components.
APPT 2007: 111-120 |
| 8 | EE | K. S. Cheung,
K. O. Chow:
A Petri Net Based Method for Refining Object Oriented System Specifications.
Electr. Notes Theor. Comput. Sci. 187: 161-172 (2007) |
| 2006 |
|---|
| 7 | EE | K. O. Chow,
K. P. L. Cheung,
K. S. Cheung:
A Multi-Channeled Learning Materials Indexing & Enquiry System.
ICUC 2006 |
| 6 | EE | K. S. Cheung,
T. Y. Cheung,
K. O. Chow:
A petri-net-based synthesis methodology for use-case-driven system design.
Journal of Systems and Software 79(6): 772-790 (2006) |
| 2005 |
|---|
| 5 | | K. S. Cheung,
K. O. Chow:
Analysis of Manufacturing Systems Based on Augmented Marked Graphs.
CIMCA/IAWTIC 2005: 847-851 |
| 4 | EE | K. S. Cheung,
K. O. Chow:
Elimination of Duplicate Labels in Petri-Net-Based System Specification.
CIT 2005: 932-936 |
| 3 | EE | K. S. Cheung,
K. O. Chow:
Cycle inclusion property of augmented marked graphs.
Inf. Process. Lett. 94(6): 271-276 (2005) |
| 1999 |
|---|
| 2 | EE | K. S. Cheung,
K. O. Chow,
T. Y. Cheung:
Extending Formal Specification To Object-Oriented Models Through Level-View Structured Schemas.
TOOLS (31) 1999: 118-125 |
| 1998 |
|---|
| 1 | EE | K. S. Cheung,
K. O. Chow,
T. Y. Cheung:
Deriving Scenarios Of Object Interaction Through Petri Net.
TOOLS (27) 1998: 104- |
