Mathematical Verification of an NPP Protection System Function with Combined CPN and PVS

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 308
  • Download : 0
Publisher
American Nuclear Society
Issue Date
1998-11
Language
English
Citation

TRANSACTIONS OF THE AMERICAN NUCLEAR SOCIETY, v.79, pp.247 - 249

ISSN
0003-018X
URI
http://hdl.handle.net/10203/73073
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