Taeho Kim (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

3 Taeho Kim, David W. J. Stringer-Calvert, Sung Deok Cha: Formal Verification of Functional Properties of an SCR-Style Software Requirements Specification Using PVS. TACAS 2002: 205-220

2 Taeho Kim, Sung Deok Cha: Automated structural analysis of SCR-style software requirements specifications using PVS. Softw. Test., Verif. Reliab. 11(3): 143-163 (2001)

Selection of 2 from 10 records - Taeho Kim has 13 coauthors

3		Taeho Kim, David W. J. Stringer-Calvert, Sung Deok Cha: Formal Verification of Functional Properties of an SCR-Style Software Requirements Specification Using PVS. TACAS 2002: 205-220
2		Taeho Kim, Sung Deok Cha: Automated structural analysis of SCR-style software requirements specifications using PVS. Softw. Test., Verif. Reliab. 11(3): 143-163 (2001)