Simon Collart-Dutilleul – författare
Visar alla böcker från författaren Simon Collart-Dutilleul. Handla med fri frakt och snabb leverans.
6 produkter
6 produkter
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings
Häftad, Engelska, 2019
642 kr
Skickas inom 10-15 vardagar
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. They cover a range of topics including railways system and infrastructure advance modelling;
1 813 kr
Skickas inom 10-15 vardagar
This book examines the problem of interoperability related to operating rules and gives an overview of the formal method approaches related to this subject. It also looks at the implementing of the ERTMS and provides solutions regarding operating rules for ERTMS lines, using formal methods and simulation tools.
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
4th International Conference, RSSRail 2022, Paris, France, June 1–2, 2022, Proceedings
Häftad, Engelska, 2022
718 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 4th International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2022, held in Paris, France, in June 2022. The 16 full papers presented in this book were carefully reviewed and selected from numerous submissions.
Del 14198 - Lecture Notes in Computer Science
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
5th International Conference, RSSRail 2023, Berlin, Germany, October 10–12, 2023, Proceedings
Häftad, Engelska, 2023
697 kr
Skickas inom 10-15 vardagar
This book constitutes the proceedings of the 5th International Conference on Reliability, Safety, and Security of Railway Systems.
Del 15456 - Lecture Notes in Computer Science
Risks and Security of Internet and Systems
19th International Conference, CRiSIS 2024, Aix-en-Provence, France, November 26-28, 2024, Proceedings
Häftad, Engelska, 2025
1 429 kr
Skickas inom 10-15 vardagar
This book constitutes the revised selected papers of the 19th International Conference on Risks and Security of Internet and Systems, CRiSIS 2024, held in Aix-en-Provence, France, during November 26-28, 2024. The 32 full papers and 2 short papers presented here were carefully selected and reviewed from 90 submissions.
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
6th International Conference, RSSRail 2025, Pisa, Italy, November 26–28, 2025, Proceedings
Häftad, Engelska, 2025
623 kr
Skickas inom 10-15 vardagar
This book constitutes the proceedings of the 6th International Conference, RSSRail 2025, in Pisa, Italy, during November 2025. The 12 full papers, 5 short papers, 3 short papers from invited speakers and 4 extended abstracts of journal-first papers presented here were carefully reviewed and selected from 35 submissions.They were focused on the following topical sections:Invited Presentations; AI & Planning; Surveys & Comparisons; Communication & Control; Industrial Experiences & Trams; Formal Modelling & Analysis.