A Comparative Study of Formal Methods for Safety Critical Software in Nuclear Power Plant

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 405
  • Download : 0
Publisher
한국원자력학회
Issue Date
2000-12
Language
Korean
Citation

NUCLEAR ENGINEERING AND TECHNOLOGY , v.32, no.6, pp.537 - 548

ISSN
1738-5733
URI
http://hdl.handle.net/10203/68155
Appears in Collection
NE-Journal 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