Kwang-Il Ko
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
1994–1996
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1996 | APSEC | Formalization and Verification of Safety Properties of Statechart Specifications. | Kyo Chul Kang, Kwang-Il Ko |
| 1995 | ICSE | PARTS: A Temporal Logic-Based Real-Time Software Specification and Verification Method. | Kyo Chul Kang, Kwang-Il Ko |
| 1994 | APSEC | PARTS-a temporal logic-based real-time software specification method supporting multiple-viewpoints. | Kyo Chul Kang, Kwang-Il Ko |