SULJE VALIKKO

avaa valikko

Thierry Lecomte (ed.) | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 4 tuotetta
Haluatko tarkentaa hakukriteerejä?



Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : First International
Tekijä: Thierry Lecomte (ed.); Ralf Pinger (ed.); Alexander Romanovsky (ed.)
Kustantaja: Springer (2016)
Saatavuus: Noin 17-20 arkipäivää
EUR   49,60
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : Second Internationa
Tekijä: Alessandro Fantechi (ed.); Thierry Lecomte (ed.); Alexander Romanovsky (ed.)
Kustantaja: Springer (2017)
Saatavuus: Noin 17-20 arkipäivää
EUR   49,60
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : 4th International C
Tekijä: Simon Collart-Dutilleul (ed.); Anne E. Haxthausen (ed.); Thierry Lecomte (ed.)
Kustantaja: Springer (2022)
Saatavuus: Noin 17-20 arkipäivää
EUR   64,10
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : 5th International C
Tekijä: Birgit Milius (ed.); Simon Collart-Dutilleul (ed.); Thierry Lecomte (ed.)
Kustantaja: Springer (2023)
Saatavuus: Noin 17-20 arkipäivää
EUR   57,30
    
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : First International
49,60 €
Springer
Sivumäärä: 255 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 2016, 15.06.2016 (lisätietoa)
Kieli: Englanti
This book constitutes the refereed proceedings of the First
International Conference on Reliability, Safety, and Security of Railway
Systems, RSSRail 2016, held in Paris, France, in June 2016.

The 15 revised full papers presented were carefully reviewed and
selected from 36 initial submissions. The papers cover a wide range of
topics including failure analysis, interlocking verification, formal
system specification and refinement, security analysis of ERTMS, safety
verification, formalisation of requirements, proof automation,
operational security, railway system reliability, risk assessment for
ERTMS, and verification of EN-50128 safety requirements.


Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 17-20 arkipäivässä
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : First Internationalzoom
Näytä kaikki tuotetiedot
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste