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

Software design specification and analysis technique for the safety critical software based on Programmable Logic Controller (PLC)

Cited 2 time in webofscience Cited 0 time in scopus
  • Hit : 845
  • Download : 1572
Export
Koo, S.R. / Seong, Poong-Hyunresearcher / Cha, Sungdeok
Publisher
IEEE
Issue Date
2004-03-25
Language
English
Citation

Proceedings - Eighth IEEE International Symposium on High Assurance Systems Engineering, pp.283 - 284

ISSN
1530-2059
URI
http://hdl.handle.net/10203/806
Appears in Collection
NE-Conference Papers(학술회의논문)
Files in This Item
This item is cited by other documents in WoS
⊙ Detail Information in WoSⓡ Click to see webofscience_button
⊙ Cited 2 items in WoS Click to see citing articles in records_button

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