Browse "CS-Journal Papers(저널논문)" by Author Kim, Tai-Hyo

Showing results 1 to 1 of 1

1
Validating Software Reliability Early through Statistical Model Checking

Kim, Young-Joo; Choi, Ok-Joo; Kim, Moon-Zoo; Baik, Jong-Moon; Kim, Tai-Hyo, IEEE SOFTWARE, v.30, no.3, pp.35 - 41, 2013-05

Discover

Type

Open Access

Date issued

. next

rss_1.0 rss_2.0 atom_1.0