Kwang-Il Ko

Publication Activity (10 Years)

Years Active: 1994-1996
Publications (10 Years): 0

Publications

Kyo Chul Kang, Kwang-Il Ko
Formalization and Verification of Safety Properties of Statechart Specifications. APSEC (1996)
Kyo Chul Kang, Kwang-Il Ko
Parts: a Temporal Logic-Based Real-Time Software Specification Method Supporting Multiple Viewpoints. Int. J. Softw. Eng. Knowl. Eng. 5 (3) (1995)
Kyo Chul Kang, Kwang-Il Ko
PARTS: A Temporal Logic-Based Real-Time Software Specification and Verification Method. ICSE (1995)
Kyo Chul Kang, Kwang-Il Ko
PARTS-a temporal logic-based real-time software specification method supporting multiple-viewpoints. APSEC (1994)