SACS2: Dynamic and Formal Safety Analysis Method for Complex Safety Critical System

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 339
  • Download : 0
DC FieldValueLanguage
dc.contributor.author고광용-
dc.contributor.author성풍현-
dc.date.accessioned2013-03-19T00:12:35Z-
dc.date.available2013-03-19T00:12:35Z-
dc.date.created2012-02-06-
dc.date.issued2009-05-21-
dc.identifier.citation한국원자력학회 2009 춘계학술발표회, v., no., pp. --
dc.identifier.urihttp://hdl.handle.net/10203/153899-
dc.languageKOR-
dc.publisher한국원자력학회-
dc.titleSACS2: Dynamic and Formal Safety Analysis Method for Complex Safety Critical System-
dc.typeConference-
dc.type.rimsCONF-
dc.citation.publicationname한국원자력학회 2009 춘계학술발표회-
dc.identifier.conferencecountrySouth Korea-
dc.identifier.conferencecountrySouth Korea-
dc.contributor.localauthor성풍현-
dc.contributor.nonIdAuthor고광용-
Appears in Collection
NE-Conference Papers(학술회의논문)
Files in This Item
There are no files associated with this item.

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0