Results
|
|
1.
|
Reliability, safety, and security of railway systems : modelling, analysis, verification, and certification : first International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings / Thierry Lecomte, Ralf Pinger, Alexander Romanovsky (eds.). by Series: Lecture notes in computer science ; 9707. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Switzerland : Springer, 2016
Availability: Items available for loan: e-Library (1).
|
|
|
2.
|
Reliability, safety, and security of railway systems : modelling, analysis, verification, and certification : second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings / edited by Alessandro Fantechi, Thierry Lecomte, Alexander Romanovsky. by Series: Lecture notes in computer science ; 10598.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, 2017
Availability: Items available for loan: e-Library (1).
|
|
|
3.
|
Reliability, safety, and security of railway systems : modelling, analysis, verification, and certification : third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings / Simon Collart-Dutilleul, Thierry Lecomte, Alexander Romanovsky (eds.). by Series: Lecture notes in computer science ; 11495. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham, Switzerland : Springer, 2019
In:
Springer eBooks
Availability: Items available for loan: e-Library (1).
|
|
|
4.
|
Reliability, safety, and security of railway systems : modelling, analysis, verification, and certification : 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings / Birgit Milius, Simon Collart-Dutilleul, Thierry Lecomte, editors. by Series: Lecture notes in computer science ; 14198.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, 2023
Availability: Items available for loan: e-Library (1).
|
|
|
5.
|
Reliability, safety, and security of railway systems : modelling, analysis, verification, and certification : 4th international conference, RSSRail 2022, Paris, France, June 1-2, 2022 : proceedings / Simon Collart-Dutilleul, Anne E. Haxthausen, Thierry Lecomte (eds.). by Series: Lecture notes in computer science ; 13294.
Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cham : Springer, [2022]Copyright date: ©2022
Availability: Items available for loan: e-Library (1).
|