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 : 286
  • Download : 0
Issue Date
2009-04-05
Language
ENG
Citation

6th American Nuclear Society International Topical Meeting on Nuclear Plant Instrumentation, Control, and Human-Machine Interface Technologies 2009, v.1, pp.298 - 311

URI
http://hdl.handle.net/10203/154614
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