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 : 385
  • Download : 0
Export
Koo, SR / Son, HS / Seong, Poong-Hyunresearcher / Yoo, J / Cha, Sungdeok / Son, DS / Choi, SS
Issue Date
2002-11
Language
ENG
Citation

International Symposium on Future I&C for NPP (ISOFIC 2002), pp.159 - 164

URI
http://hdl.handle.net/10203/128134
Appears in Collection
NE-Conference Papers(학술회의논문)
Files in This Item
There are no files associated with this item.

Display Full 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