PLC-Based Safety Critical Software Development for Nuclear Power Plants
暂无分享,去创建一个
Jang-Soo Lee | Junbeom Yoo | Sung Deok Cha | Chang Hwoi Kim | Han Seong Son | S. Cha | Junbeom Yoo | Jang-Soo Lee | H. Son | C. Kim
[1] Jang-Soo Lee,et al. A formal software requirements specification method for digital nuclear plant protection systems , 2005, J. Syst. Softw..
[2] Nancy G. Leveson,et al. Safeware: System Safety and Computers , 1995 .
[3] Thomas A. Henzinger,et al. Timed Transition Systems , 1991, REX Workshop.
[4] P. Kam,et al. : 4 , 1898, You Can Cross the Massacre on Foot.
[5] Junbeom Yoo,et al. Synthesis of FBD-based PLC design from NuSCR formal specification , 2005, Reliab. Eng. Syst. Saf..
[6] Angelika Mader,et al. A Classification of PLC Models and Applications , 2000 .
[7] Robert P. Kurshan,et al. Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach , 2014 .
[8] Junbeom Yoo,et al. Procedural Transformation from Formal Software Requirement to PLC-based Design , 2004 .
[9] Technical Systems,et al. Digital Instrumentation and Control Systems in Nuclear Power Plants: Safety and Reliability Issues , 1997 .
[10] Dirk van Dalen,et al. Logic and structure , 1980 .
[11] R. P. Kurshan,et al. Automata-theoretic verification of coordinating processes , 1994 .