Bokus
Maurice H. ter Beek, Simon Collart-Dutilleul, Thierry Lecomte - Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, Häftad

Häftad, Engelska, 2025

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

Av Maurice H. ter Beek, Simon Collart-Dutilleul, Thierry Lecomte

639 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning
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.
Produktinformation
  • Utgivningsdatum: 2025-11-16
  • Mått: 155 x 235 x 19 mm
  • Vikt: 528 g
  • Format: Häftad
  • Språk: Engelska
  • Serie: Lecture Notes in Computer Science
  • Antal sidor: 332
  • Förlag: Springer Nature Switzerland AG
  • ISBN: 9783032107619
Utforska kategorier
Betyg & recensioner

0 recensioner

Inga recensioner tillgängliga.