Tool-Based Assessment of Reactor Trip Systems Availability and Safety Using Markov Modeling Вид публикации: Book Chapter Авторы: Oleg Odarushchenko; Elena Odarushchenko Источник: Cyber Security and Safety of Nuclear Power Plant Instrumentation and Control Systems (2020)