Toward Easy Inspection and Effective Use of Formal Methods in NPP Software Fields

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 292
  • Download : 0
DC FieldValueLanguage
dc.contributor.authorKoo, Seo Ryongko
dc.contributor.authorSon, Han Seongko
dc.contributor.authorSeong, Poong-Hyunko
dc.contributor.authorYoo, Junbeomko
dc.contributor.authorCha, Sungdeokko
dc.contributor.authorSon, Dae Sungko
dc.contributor.authorChoi, Seong Sooko
dc.date.accessioned2013-03-03T17:20:21Z-
dc.date.available2013-03-03T17:20:21Z-
dc.date.created2012-02-06-
dc.date.created2012-02-06-
dc.date.issued2002-06-
dc.identifier.citationTRANSACTIONS OF THE AMERICAN NUCLEAR SOCIETY, v.86, no.1, pp.73 - 74-
dc.identifier.issn0003-018X-
dc.identifier.urihttp://hdl.handle.net/10203/79658-
dc.languageEnglish-
dc.publisherAMERICAN NUCLEAR SOCIETY-
dc.titleToward Easy Inspection and Effective Use of Formal Methods in NPP Software Fields-
dc.typeArticle-
dc.type.rimsART-
dc.citation.volume86-
dc.citation.issue1-
dc.citation.beginningpage73-
dc.citation.endingpage74-
dc.citation.publicationnameTRANSACTIONS OF THE AMERICAN NUCLEAR SOCIETY-
dc.contributor.localauthorSeong, Poong-Hyun-
dc.contributor.nonIdAuthorKoo, Seo Ryong-
dc.contributor.nonIdAuthorSon, Han Seong-
dc.contributor.nonIdAuthorYoo, Junbeom-
dc.contributor.nonIdAuthorSon, Dae Sung-
dc.contributor.nonIdAuthorChoi, Seong Soo-
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