A Preliminary Report on Static Analysis of C Code for Nuclear Reactor Protection System

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]

Authors

Jong-Hoon Lee

This author has not been identified. Look up 'Jong-Hoon Lee' in Google

Eui-Sub Kim

This author has not been identified. Look up 'Eui-Sub Kim' in Google

Junbeom Yoo

This author has not been identified. Look up 'Junbeom Yoo' in Google

Jang-Soo Lee

This author has not been identified. Look up 'Jang-Soo Lee' in Google