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]
Abstract is missing.