A Domain-Specific Safety Analysis for Digital Nuclear Plant Protection Systems

Sanghyun Yoon, Jae Yeon Jo, Junbeom Yoo. A Domain-Specific Safety Analysis for Digital Nuclear Plant Protection Systems. In Fifth International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2011, 27-29 June, 2011, Jeju Island, Korea - Companion Volume. pages 68-75, IEEE, 2011. [doi]

@inproceedings{YoonJY11-0,
  title = {A Domain-Specific Safety Analysis for Digital Nuclear Plant Protection Systems},
  author = {Sanghyun Yoon and Jae Yeon Jo and Junbeom Yoo},
  year = {2011},
  doi = {10.1109/SSIRI-C.2011.21},
  url = {http://doi.ieeecomputersociety.org/10.1109/SSIRI-C.2011.21},
  researchr = {https://researchr.org/publication/YoonJY11-0},
  cites = {0},
  citedby = {0},
  pages = {68-75},
  booktitle = {Fifth International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2011, 27-29 June, 2011, Jeju Island, Korea - Companion Volume},
  publisher = {IEEE},
  isbn = {978-0-7695-4454-0},
}