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

Effective and formal design analysis technique for the development of safety critical software based on programmable logic controller (PLC)

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 313
  • Download : 0
Export
DC FieldValueLanguage
dc.contributor.authorKoo, S.R.-
dc.contributor.authorSeong, Poong-Hyun-
dc.date.accessioned2013-03-17T07:48:28Z-
dc.date.available2013-03-17T07:48:28Z-
dc.date.created2012-02-06-
dc.date.issued2004-09-19-
dc.identifier.citationAmerican Nuclear Society 4th International Topical Meeting on Nuclear Plant Instrumentation, Control and Human Machine Interface Technology, v., no., pp.545 - 552-
dc.identifier.urihttp://hdl.handle.net/10203/141277-
dc.languageENG-
dc.titleEffective and formal design analysis technique for the development of safety critical software based on programmable logic controller (PLC)-
dc.typeConference-
dc.identifier.scopusid2-s2.0-32044455334-
dc.type.rimsCONF-
dc.citation.beginningpage545-
dc.citation.endingpage552-
dc.citation.publicationnameAmerican Nuclear Society 4th International Topical Meeting on Nuclear Plant Instrumentation, Control and Human Machine Interface Technology-
dc.identifier.conferencecountryUnited States-
dc.identifier.conferencecountryUnited States-
dc.contributor.localauthorSeong, Poong-Hyun-
dc.contributor.nonIdAuthorKoo, S.R.-
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