| |
| 1996 | ||
|---|---|---|
| 3 | EE | Kyo Chul Kang, Kwang-Il Ko: Formalization and Verification of Safety Properties of Statechart Specifications. APSEC 1996: 16- |
| 1995 | ||
| 2 | EE | Kyo Chul Kang, Kwang-Il Ko: PARTS: A Temporal Logic-Based Real-Time Software Specification and Verification Method. ICSE 1995: 169-176 |
| 1 | EE | Kyo Chul Kang, Kwang-Il Ko: Parts: a Temporal Logic-Based Real-Time Software Specification Method Supporting Multiple Viewpoints. International Journal of Software Engineering and Knowledge Engineering 5(3): 407-422 (1995) |
| 1 | Kyo Chul Kang | [1] [2] [3] |