Jong-Hoon Lee, Eui-Sub Kim, Junbeom Yoo, Jang-Soo Lee. A Preliminary Report on Static Analysis of C Code for Nuclear Reactor Protection System. In Natalia Bakhtadze, Kirill Chernyshov, Alexandre Dolgui, Vladimir Lototsky, editors, 7th IFAC Conference on Manufacturing Modelling, Management, and Control, MIM 2013, Saint Petersburg, Russia, June 19-21, 2013. pages 2134-2139, International Federation of Automatic Control, 2013. [doi]
@inproceedings{LeeKYL13,
title = {A Preliminary Report on Static Analysis of C Code for Nuclear Reactor Protection System},
author = {Jong-Hoon Lee and Eui-Sub Kim and Junbeom Yoo and Jang-Soo Lee},
year = {2013},
doi = {10.3182/20130619-3-RU-3018.00259},
url = {http://dx.doi.org/10.3182/20130619-3-RU-3018.00259},
researchr = {https://researchr.org/publication/LeeKYL13},
cites = {0},
citedby = {0},
pages = {2134-2139},
booktitle = {7th IFAC Conference on Manufacturing Modelling, Management, and Control, MIM 2013, Saint Petersburg, Russia, June 19-21, 2013},
editor = {Natalia Bakhtadze and Kirill Chernyshov and Alexandre Dolgui and Vladimir Lototsky},
publisher = {International Federation of Automatic Control},
isbn = {978-3-902823-35-9},
}