1 |
World Nuclear Association. Nuclear Power in South Korea. Available on the website https://www.world-nuclear.org/information-library/country-profiles/countries-o-s/south-korea.aspx
|
2 |
David Pellerin, Scott Thibault - Practical FPGA Programming in C (2005, Prentice Hall)."
|
3 |
Kossiakoff, W. N. Sweet, S. J. Seymour, and S. M. Biemer, Systems Engineering Principles and Practice: Second Edition. 2011
|
4 |
Edition Formal Verification of Floating-Point Hardware Design A Mathematical Approach by David M. Russinoff (z-lib.org) (1)
|
5 |
IEEE, IEEE Standard for Software Requirement Specifications - IEEE Std 830-1998, vol. 1998. 1998
|
6 |
USNRC, "10 CFR Appendix A to Part 50-General Design Criteria for Nuclear Power Plants"
|
7 |
"IEEE standard 1012." 1998
|
8 |
B. a Jackson and J. R. Armstrong, "Digital filter design and synthesis using high-level modeling tools," 1999
|
9 |
USNRC. U.S. EPR Application Documents
|
10 |
Numerical Computing with IEEE Floating Point Arithmetic by Michael L. Overton (z-lib.org)
|
11 |
Korea Electric Power Corporation & Korea Hydro & Nuclear Power Co., Ltd. Functional Design Requirements for a Core Protection Calculator System for APR1400. August 2014
|
12 |
J. Qian and B. Xu, "Formal verification for C program," Informatica, vol. 18, no. 2, pp. 289-304, 2007, doi: 10.15388/informatica.2007.178
DOI
|
13 |
Design Automation Standards Comittee, IEEE Std 1800.2-2017 : IEEE Standard for Univers Verification Methodology Language Reference Manual., vol. 2011, no. January. 2017
|
14 |
Systems Engineering Principles and Practice 2nd
|
15 |
Korea Hydro Nuclear Power (KHNP) Nuclear Power Education Institute, APR1400 Protection System, training material, pp. 119-120
|
16 |
Wang-Kee In; Young-Ho Park; Seung-Yeob Baeg. Development and Assessment of Advanced Reactor Core Protection System. Journal of Power and Energy Systems. Vol 06, n° 02, 2012
|
17 |
IAEA. Modern Instrumentation and Control for Nuclear Power Plants: A Guidebook. Technical Report Series nº 387. Vienna, 1999
|
18 |
Handbook of floating-point arithmetic by Jean-Michel Muller, Nicolas Brisebarre, Florent de Dinechin, Claude-Pierre Jeannerod, Vincent Lef vre, Guillaume Melquiond, Nathalie Revol, Damien Stehl , Serg (z-lib)
|
19 |
IEC, IEC 62566, Nuclear Power Plants - Instrumentation and Control Important to Safety - Development of HDL - Programmed Integrated Circuits for Systems Performing Category A functions. 2012
|
20 |
J. L. Goldman, G. Abraham, and I. Y. Song, "Generating Software Requirements Specification ( IEEE - Std . 830 - 1998 ) document with Use Cases," no. 215, pp. 1-12, 2007
|