EAN: 9783319339504

RELIABILITY SAFETY AND SECURITY OF RAILWAY SYST...

This book constitutes the refereed proceedings of the FirstInternational Conference on
Reliability  Safety  and Security of RailwaySystems  RSSRail 2016  held in Paris  France  in
June 2016. The 15 revised full papers presented were carefully reviewed andselected from 36
initial submissions. The papers cover a wide range oftopics including failure analysis 
interlocking verification  formalsystem specification and refinement  security analysis of
ERTMS  safetyverification  formalisation of requirements  proof automation operational security
railway system reliability  risk assessment forERTMS  and verification of EN-50128 safety
requirements.

Aktuelle Preise zur EAN 9783319339504

Produktinformationen zur 9783319339504