Architectural model driven dependability analysis of computer based safety system in nuclear power plant
No Thumbnail Available
Click here to download
Date
2019
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
Keywords
Architectural analysis, Safety, Availability, Probabilistic model checking, Reactor trip system
Source
Nuclear Engineering and Technology, 2019. Vol. 51: pp. 463-478