Name: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: First International Conference, Rssrail 20 (en Inglés)
Price: 75.78 EUR
Availability: InStock
Author: Lecomte, Thierry ; Pinger, Ralf ; Romanovsky, Alexander
ISBN: 9783319339504

portada Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: First International Conference, Rssrail 20 (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

Lecomte, Thierry ; Pinger, Ralf ; Romanovsky, Alexander

Idioma

Inglés

N° páginas

255

Encuadernación

Tapa Blanda

Dimensiones

23.4 x 15.6 x 1.4 cm

Peso

0.38 kg.

ISBN13

9783319339504

Categorías

Hardware de redes
Programación informática - desarrollo de software

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: First International Conference, Rssrail 20 (en Inglés)

Lecomte, Thierry ; Pinger, Ralf ; Romanovsky, Alexander (Autor) · Springer · Tapa Blanda

Libro Nuevo

75,78 €

79,77 €

Ahorras: 3,99 €

5% descuento

Envío normal

Origen: Estados Unidos (Costos de importación incluídos en el precio)

Se enviará desde nuestra bodega entre el Miércoles 14 de Agosto y el Lunes 02 de Septiembre.

Lo recibirás en cualquier lugar de España entre 1 y 5 días hábiles luego del envío.

Reseña del libro "Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: First International Conference, Rssrail 20 (en Inglés)"

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.

Opiniones del libro

¿Leíste este libro? Inicia sesión para poder agregar tu propia evaluación.

Ver más opiniones de clientes

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Preguntas y respuestas sobre el libro

¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.

Opiniones sobre Buscalibre

Ver más opiniones de clientes

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: First International Conference, Rssrail 20 (en Inglés) - Lecomte, Thierry ; Pinger, Ralf ; Romanovsky, Alexander

Reseña del libro "Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: First International Conference, Rssrail 20 (en Inglés)"

Opiniones del libro

Preguntas frecuentes sobre el libro

¿El libro es original?

¿En qué Idioma está escrito el libro?

¿Cuál es la encuadernación de este libro?

Preguntas y respuestas sobre el libro

Opiniones sobre Buscalibre