Login / Signup

Dependability and Safety Analysis of ETCS Communication for ERTMS Level 3 Using Performance Statecharts and Analytic Estimation.

Tomasz BabczynskiJan Magott
Published in: DepCoS-RELCOMEX (2014)
Keyphrases
  • safety analysis
  • safety critical
  • nuclear power plant
  • complex systems
  • symbolic model checking
  • knowledge base
  • control system
  • ambient intelligence
  • formal methods
  • real time