Kwang-Il Ko

According to our database¹, Kwang-Il Ko authored at least 3 papers between 1995 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 Method Supporting Multiple Viewpoints.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 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