Vitaly Promyslov, Alexey Poletikin. Formal Hierarchical Model of Security of the Upper Level of Instrumentation & Control System of a Nuclear Power Plant. 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 2145-2150, International Federation of Automatic Control, 2013. [doi]
Abstract is missing.