Kwang-Il Ko

According to our database¹, Kwang-Il Ko authored at least 3 papers between 1994 and 1996.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1996

Formalization and Verification of Safety Properties of Statechart Specifications.

[BibT_eX]

[DOI]

Proceedings of the 3rd Asia-Pacific Software Engineering Conference (APSEC '96), 1996

1995

PARTS: A Temporal Logic-Based Real-Time Software Specification and Verification Method.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Software Engineering, 1995

1994

PARTS-a temporal logic-based real-time software specification method supporting multiple-viewpoints.

[BibT_eX]

[DOI]

Proceedings of the First Asia-Pacific Software Engineering Conference, 1994