Keyphrases
Modeling Approach
100%
Reliability Analysis
100%
Tree Model
100%
Dynamic Fault Tree
100%
Infrastructure Reliability
100%
Railway Areas
100%
Train Route
66%
Station Area
66%
Detection System
33%
Design Specification
33%
Germany
33%
Performance Metrics
33%
Radio Communication
33%
Fully-automatic
33%
New Performance
33%
Metric Basis
33%
Railway Station
33%
Formal Methods
33%
Model Checking Techniques
33%
Probabilistic Model Checking
33%
Operational Design
33%
Switching Signal
33%
Railway Systems
33%
Routability
33%
Automatic Translation
33%
Occupancy Detection
33%
Tree-based Analysis
33%
Conditional Events
33%
Train Delay
33%
Interlocking System
33%
Track Occupation
33%
Track Circuit
33%
Computer Science
Fault Tree
100%
Density Functional Theory
66%
Performance Metric
33%
Radio Communication
33%
Model Checking
33%
Checking Technique
33%
Operational Design
33%
Railway System
33%
Design Specification
33%
Criticality
33%
Interlocking System
33%
Conditional Event
33%
Earth and Planetary Sciences
Fault Tree
100%
Reliability Analysis
100%
Railway Station
100%
Density Functional Theory
66%
Germany
33%
Radio Communication
33%
Locking
33%
Engineering
Railway
100%
Reliability Analysis
100%
Discrete Fourier Transform
66%
Metrics
33%
Design Specification
33%
Formal Method
33%
Germany
33%