DSpace at KOASAS
College of Engineering(공과대학)Dept. of Nuclear and Quantum Engineering(원자력및양자공학과)NE-Conference Papers(학술회의논문)

Development of Software Requirement Analysis Tool for NPP Software Fields Based on Software Inspection and Formal Method

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 386
  • Download : 0
Export
DC FieldValueLanguage
dc.contributor.authorKoo, SR-
dc.contributor.authorSon, HS-
dc.contributor.authorSeong, Poong-Hyun-
dc.contributor.authorYoo, J-
dc.contributor.authorCha, Sungdeok-
dc.contributor.authorSon, DS-
dc.contributor.authorChoi, SS-
dc.date.accessioned2013-03-16T05:55:19Z-
dc.date.available2013-03-16T05:55:19Z-
dc.date.created2012-02-06-
dc.date.issued2002-11-
dc.identifier.citationInternational Symposium on Future I&C for NPP (ISOFIC 2002), v., no., pp.159 - 164-
dc.identifier.urihttp://hdl.handle.net/10203/128134-
dc.languageENG-
dc.titleDevelopment of Software Requirement Analysis Tool for NPP Software Fields Based on Software Inspection and Formal Method-
dc.typeConference-
dc.type.rimsCONF-
dc.citation.beginningpage159-
dc.citation.endingpage164-
dc.citation.publicationnameInternational Symposium on Future I&C for NPP (ISOFIC 2002)-
dc.identifier.conferencecountrySouth Korea-
dc.identifier.conferencecountrySouth Korea-
dc.contributor.localauthorSeong, Poong-Hyun-
dc.contributor.localauthorCha, Sungdeok-
dc.contributor.nonIdAuthorKoo, SR-
dc.contributor.nonIdAuthorSon, HS-
dc.contributor.nonIdAuthorYoo, J-
dc.contributor.nonIdAuthorSon, DS-
dc.contributor.nonIdAuthorChoi, SS-
Appears in Collection
NE-Conference Papers(학술회의논문)
Files in This Item
There are no files associated with this item.

Display Simple Item Record

qr_code

  • mendeley

    citeulike

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.


rss_1.0 rss_2.0 atom_1.0