%0 Conference Paper %1 conf/ssiri/YoonJY11 %A Yoon, Sanghyun %A Jo, Jae Yeon %A Yoo, Junbeom %B SSIRI (Companion) %D 2011 %I IEEE Computer Society %K dblp %P 68-75 %T A Domain-Specific Safety Analysis for Digital Nuclear Plant Protection Systems. %U http://dblp.uni-trier.de/db/conf/ssiri/ssiri2011c.html#YoonJY11 %@ 978-0-7695-4454-0

@inproceedings{conf/ssiri/YoonJY11, added-at = {2023-03-24T00:00:00.000+0100}, author = {Yoon, Sanghyun and Jo, Jae Yeon and Yoo, Junbeom}, biburl = {https://www.bibsonomy.org/bibtex/2287c5fd8f2d4d3f7e6c992b4bd5ce935/dblp}, booktitle = {SSIRI (Companion)}, crossref = {conf/ssiri/2011c}, ee = {https://doi.ieeecomputersociety.org/10.1109/SSIRI-C.2011.21}, interhash = {30cb3623ab50dd485233a35b8f204be9}, intrahash = {287c5fd8f2d4d3f7e6c992b4bd5ce935}, isbn = {978-0-7695-4454-0}, keywords = {dblp}, pages = {68-75}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T15:14:13.000+0200}, title = {A Domain-Specific Safety Analysis for Digital Nuclear Plant Protection Systems.}, url = {http://dblp.uni-trier.de/db/conf/ssiri/ssiri2011c.html#YoonJY11}, year = 2011 }