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 : 936
  • Download : 136
Export
DC FieldValueLanguage
dc.contributor.authorMin, Sang-Yoon-
dc.contributor.authorJang, Yoon-Kyu-
dc.contributor.authorCha, Sungdeok-
dc.contributor.authorKwon, Yong-Rae-
dc.contributor.authorBae, Doo-Hwan-
dc.date.accessioned2009-12-29T06:35:03Z-
dc.date.available2009-12-29T06:35:03Z-
dc.date.created2012-02-06-
dc.date.issued1999-
dc.identifier.citationSAFECOMP 99, v., no., pp.226 - 238-
dc.identifier.issn0302-9743-
dc.identifier.urihttp://hdl.handle.net/10203/16021-
dc.languageENG-
dc.language.isoen_USen
dc.publisherSpringer Verlag (Germany)-
dc.titleSafety Verification of Ada95 Programs Using Software Fault Trees-
dc.typeConference-
dc.type.rimsCONF-
dc.citation.beginningpage226-
dc.citation.endingpage238-
dc.citation.publicationnameSAFECOMP 99-
dc.identifier.conferencecountryFrance-
dc.contributor.localauthorCha, Sungdeok-
dc.contributor.localauthorBae, Doo-Hwan-
dc.contributor.nonIdAuthorMin, Sang-Yoon-
dc.contributor.nonIdAuthorJang, Yoon-Kyu-
dc.contributor.nonIdAuthorKwon, Yong-Rae-
Appears in Collection
CS-Conference Papers(학술회의논문)

Display Simple 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