Browse "CS-Conference Papers(학술회의논문)" by Author Jang, Yoon-Kyu

Showing results 1 to 1 of 1

1
Safety Verification of Ada95 Programs Using Software Fault Trees

Min, Sang-Yoon; Jang, Yoon-Kyu; Cha, Sungdeok; Kwon, Yong-Rae; Bae, Doo-Hwan, SAFECOMP 99, pp.226 - 238, Springer Verlag (Germany), 1999

Discover

rss_1.0 rss_2.0 atom_1.0