Travelled to:1 × USA
Collaborated with:K.C.Kang
Talks about:softwar (1) tempor (1) specif (1) method (1) verif (1) logic (1) time (1) real (1) part (1) base (1)
Person: Kwang-Il Ko
DBLP: Ko:Kwang=Il
Contributed to:
1995Wrote 1 papers:
- ICSE-1995-KangK #named #realtime #specification #verification
- PARTS: A Temporal Logic-Based Real-Time Software Specification and Verification Method (KCK, KIK), pp. 169–176.