Research Output per year
Research Output per year
Project Details
Layman's description
The objective of national nuclear power safety research is to ensure that if new matters related to the safe use of nuclear power plants should arise, the authorities possess sufficient technical expertise and other competence for determining the significance of those matters without delay.
| Acronym | SAFIR 2018 |
|---|---|
| Status | Finished |
| Effective start/end date | 1/01/15 → 31/12/18 |
Research Output
-
Integrating model checking and PRA: A novel safety assessment approach for digital I&C systems
Lahtinen, J. & Björkman, K., 25 Nov 2016, Risk, Reliability and Safety: Innovating Theory and Practice. Walls, L., Revie, M. & Bedford, T. (eds.). CRC Press, 383Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review
-
Model Checking Large Nuclear Power Plant Safety System Designs: Dissertation
Lahtinen, J., 2016, Espoo: VTT Technical Research Centre of Finland. 230 p.Research output: Thesis › Dissertation › Collection of Articles
Open Access