DSpace at KOASAS
College of Engineering(공과대학)School of Computing(전산학부)CS-Conference Papers(학술회의논문)

Safety Verification of Ada95 Programs Using Software Fault Trees

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 958
  • Download : 160
Export
Min, Sang-Yoon / Jang, Yoon-Kyu / Cha, Sungdeok / Kwon, Yong-Rae / Bae, Doo-Hwanresearcher
Publisher
Springer Verlag (Germany)
Issue Date
1999
Language
ENG
Citation

SAFECOMP 99, pp.226 - 238

ISSN
0302-9743
URI
http://hdl.handle.net/10203/16021
Appears in Collection
CS-Conference Papers(학술회의논문)

Display Full Item Record

qr_code

  • mendeley

    citeulike

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.


rss_1.0 rss_2.0 atom_1.0