Thierry Lecomte | Akateeminen Kirjakauppa

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

RELIABILITY, SAFETY, AND SECURITY OF RAILWAY SYSTEMS. MODELLING, ANALYSIS, VERIFICATION, AND CERTIFICATION - FIRST INTERNATIONAL

Thierry Lecomte; Ralf Pinger; Alexander Romanovsky
Springer International Publishing AG (2016)
Pehmeäkantinen kirja

49,60 €

FORMAL METHODS: FOUNDATIONS AND APPLICATIONS - 19TH BRAZILIAN SYMPOSIUM, SBMF 2016, NATAL, BRAZIL, NOVEMBER 23-25, 2016, PROCEED

Leila Ribeiro; Thierry Lecomte
Springer International Publishing AG (2016)
Pehmeäkantinen kirja

49,60 €

RELIABILITY, SAFETY, AND SECURITY OF RAILWAY SYSTEMS. MODELLING, ANALYSIS, VERIFICATION, AND CERTIFICATION - SECOND INTERNATIONA

Alessandro Fantechi; Thierry Lecomte; Alexander Romanovsky
Springer International Publishing AG (2017)
Pehmeäkantinen kirja

49,60 €

RELIABILITY, SAFETY, AND SECURITY OF RAILWAY SYSTEMS. MODELLING, ANALYSIS, VERIFICATION, AND CERTIFICATION - THIRD INTERNATIONAL

Simon Collart-Dutilleul; Thierry Lecomte; Alexander Romanovsky
Springer Nature Switzerland AG (2019)
Pehmeäkantinen kirja

57,30 €

RELIABILITY, SAFETY, AND SECURITY OF RAILWAY SYSTEMS. MODELLING, ANALYSIS, VERIFICATION, AND CERTIFICATION - 4TH INTERNATIONAL C

Simon Collart-Dutilleul; Anne E. Haxthausen; Thierry Lecomte
Springer International Publishing AG (2022)
Pehmeäkantinen kirja

64,10 €

RELIABILITY, SAFETY, AND SECURITY OF RAILWAY SYSTEMS. MODELLING, ANALYSIS, VERIFICATION, AND CERTIFICATION : 5TH INTERNATIONAL C

Birgit Milius (ed.); Simon Collart-Dutilleul (ed.); Thierry Lecomte (ed.)
Springer (2023)
Pehmeäkantinen kirja

57,30 €

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - First International

Thierry Lecomte, Ralf Pinger, Alexander Romanovsky

49,60 €

Springer International Publishing AG
Sivumäärä: 255 sivua
Asu: Pehmeäkantinen kirja
Painos: 1st ed. 2016
Julkaisuvuosi: 2016, 15.06.2016 (lisätietoa)
Kieli: Englanti
Tuotesarja: Programming and Software Engineering

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.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024

Myymäläsaatavuus