K. O. Chow

Publication Activity (10 Years)

Years Active: 1998-2007
Publications (10 Years): 0

Publications

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