Produktbild: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

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

Lieferzeit: Lieferbar innerhalb 14 Tagen

62,05 €

inkl. 7 % MwSt. zzgl. Versandkosten

6th International Conference, RSSRail 2025, Pisa, Italy, November 26-28,2025, Proceedings, Lecture Notes in Computer Science 16236

ISBN: 303210761X
ISBN 13: 9783032107619
Herausgeber: Maurice H ter Beek/Simon Collart-Dutilleul/Thierry Lecomte
Verlag: Springer Verlag GmbH
Umfang: xiii, 332 S., 11 s/w Illustr., 110 farbige Illustr., 332 p. 121 illus., 110 illus. in color.
Erscheinungsdatum: 16.11.2025
Auflage: 1/2026
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 7753775 Kategorie:

Beschreibung

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.

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …