K. O. Chow

11 papers C 2Journal 2Unranked 7
YearRankTypeTitle / Venue / Authors
2007 — conf
Property-Preserving Composition of Distributed System Components.
APPT
King Sing Cheung, K. O. Chow
2006 — conf
A Multi-Channeled Learning Materials Indexing & Enquiry System.
ICUC
K. O. Chow, K. P. L. Cheung, King Sing Cheung
2006 — conf
A Petri Net Based Method for Refining Object Oriented System Specifications.
Refine@ICFEM
King Sing Cheung, K. O. Chow
2006 J jnl
A petri-net-based synthesis methodology for use-case-driven system design.
J. Syst. Softw.
King Sing Cheung, T. Y. Cheung, K. O. Chow
2006 — conf
Analysis of Capacity Overflow for Manufacturing Systems.
CASE
King Sing Cheung, K. O. Chow
2006 C conf
Process-Based Design Verification for Systems Involving Shared Resources.
APSCC
King Sing Cheung, K. O. Chow
2005 — conf
Analysis of Manufacturing Systems Based on Augmented Marked Graphs.
CIMCA/IAWTIC
King Sing Cheung, K. O. Chow
2005 J jnl
Cycle inclusion property of augmented marked graphs.
Inf. Process. Lett.
King Sing Cheung, K. O. Chow
2005 C conf
Elimination of Duplicate Labels in Petri-Net-Based System Specification.
CIT
King Sing Cheung, K. O. Chow
1999 — conf
Extending Formal Specification To Object-Oriented Models Through Level-View Structured Schemas.
TOOLS (31)
King Sing Cheung, K. O. Chow, T. Y. Cheung
1998 — conf
Deriving Scenarios Of Object Interaction Through Petri Net.
TOOLS (27)
King Sing Cheung, K. O. Chow, T. Y. Cheung