SACS2: A dynamic and formal approach to safety analysis for complex safety critical system

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 314
  • Download : 0
DC FieldValueLanguage
dc.contributor.authorKoh, Kwang Yong-
dc.contributor.authorSeong, Poong-Hyun-
dc.date.accessioned2013-03-19T01:46:07Z-
dc.date.available2013-03-19T01:46:07Z-
dc.date.created2012-02-06-
dc.date.issued2009-04-05-
dc.identifier.citation6th American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies 2009, v.1, no., pp.298 - 311-
dc.identifier.urihttp://hdl.handle.net/10203/154614-
dc.languageENG-
dc.titleSACS2: A dynamic and formal approach to safety analysis for complex safety critical system-
dc.typeConference-
dc.identifier.scopusid2-s2.0-77952049363-
dc.type.rimsCONF-
dc.citation.volume1-
dc.citation.beginningpage298-
dc.citation.endingpage311-
dc.citation.publicationname6th American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies 2009-
dc.identifier.conferencecountryUnited States-
dc.identifier.conferencecountryUnited States-
dc.contributor.localauthorSeong, Poong-Hyun-
dc.contributor.nonIdAuthorKoh, Kwang Yong-
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