Skip to main navigation
Skip to search
Skip to main content
VTT's Research Information Portal Home
Search content at VTT's Research Information Portal
Home
Profiles
Research output
Projects
Datasets
Research units
Research Infrastructures
Activities
Prizes
Press/Media
Impacts
Feasibility study on the integration of PRA methods and model checking
Jussi Lahtinen
,
Kim Björkman
Research output
:
Book/Report
›
Report
Overview
Fingerprint
Projects
(1)
Fingerprint
Dive into the research topics of 'Feasibility study on the integration of PRA methods and model checking'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Control System
100%
Risk Estimation
100%
Probabilistic Risk Assessment
100%
Instrumentation System
100%
Risk Assessment Methods
100%
Safety Analysis
66%
Digital Instrument
66%
Digital Control
66%
Fault Tree Analysis
66%
Nuclear Power Plant
33%
Failure Analysis
33%
System Behavior
33%
Reliability Analysis
33%
Design Errors
33%
Formal Methods
33%
Integration Approach
33%
Hardware Failure
33%
Integrative Analysis
33%
Software Design
33%
Concrete Concepts
33%
Coupling Approach
33%
Concept Level
33%
Control Faults
33%
Coupling Test
33%
Analyzing System
33%
INIS
probabilistic estimation
100%
risk assessment
100%
feasibility studies
100%
control systems
100%
failures
66%
fault tree analysis
66%
levels
33%
safety
33%
design
33%
operation
33%
coupling
33%
computer codes
33%
errors
33%
nuclear power plants
33%
reliability
33%
safety analysis
33%
Engineering
Feasibility Study
100%
Control Systems
100%
Fault-Tree Analysis
66%
Nuclear Power Plant
33%
Reliability Analysis
33%
System Behavior
33%
Integration Approach
33%
Formal Method
33%
Failure Analysis
33%
Safety Analysis
33%
Computer Science
Model Checking
100%
Fault Tree
66%
Hardware Failure
33%
Software Design
33%
System Behavior
33%
Top-Down Approach
33%
Failure Analysis
33%