libri scuola books Fumetti ebook dvd top ten sconti 0 Carrello


Torna Indietro

collart-dutilleul simon (curatore); lecomte thierry (curatore); romanovsky alexander (curatore) - reliability, safety, and security of railway systems. modelling, analysis, verification, and certification

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings

; ;




Disponibilità: Normalmente disponibile in 15 giorni


PREZZO
62,98 €
NICEPRICE
59,83 €
SCONTO
5%



Questo prodotto usufruisce delle SPEDIZIONI GRATIS
selezionando l'opzione Corriere Veloce in fase di ordine.


Pagabile anche con Carta della cultura giovani e del merito, 18App Bonus Cultura e Carta del Docente


Facebook Twitter Aggiungi commento


Spese Gratis

Dettagli

Genere:Libro
Lingua: Inglese
Editore:

Springer

Pubblicazione: 04/2019
Edizione: 1st ed. 2019





Trama

This book constitutes the refereed proceedings of the Third International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2019, held in Lille, France in June 2019.
The 18 full papers presented in this book were carefully reviewed and selected from 38 submissions. They cover a range of topics including railways system and infrastructure advance modelling; scheduling and track planning; safety process and validation; modelling; formal verification; and security. 





Sommario

Railways System and Infrastructure Advance Modelling.- Scheduling and Track Planning.- Safety Process and Validation.- Modelling.- Formal Verification.- Security. 











Altre Informazioni

ISBN:

9783030187439

Condizione: Nuovo
Collana: Lecture Notes in Computer Science
Dimensioni: 235 x 155 mm
Formato: Brossura
Illustration Notes:XIX, 297 p. 200 illus., 91 illus. in color.
Pagine Arabe: 297
Pagine Romane: xix


Dicono di noi