✍️ 🧑‍🦱 💚 Autor:innen verdienen bei uns doppelt. Dank euch haben sie so schon 411.512 € mehr verdient. → Mehr erfahren 💪 📚 🙏

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

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

Softcover - 9783031433658
69,54 €
  • Versandkostenfrei
Auf meine Merkliste
  • Hinweis: Print on Demand. Lieferbar in 2 Tagen.
    •
  • Lieferzeit nach Versand: ca. 1-2 Tage
  • inkl. MwSt. & Versandkosten (innerhalb Deutschlands)

Autorenfreundlich Bücher kaufen?!

Beschreibung

This book constitutes the proceedings of the 5th International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, RSSRail 2023, held in Berlin, Germany, during October 10–12, 2023.

The 13 full papers presented in this book together with 3 keynotes were carefully reviewed and selected from 25 submissions. The papers are divided into the following topical sections: modeling for security; tooled approaches and dependability of highly automated transport systems; formal methods for safety assessment; and formal model and visual tooling.

5th International Conference, RSSRail 2023, Berlin, Germany, October 10–12, 2023, Proceedings

Details

Verlag Springer International Publishing
Ersterscheinung 08. September 2023
Maße 23.5 cm x 15.5 cm
Gewicht 382 Gramm
Format Softcover
ISBN-13 9783031433658
Auflage 1st ed. 2023
Seiten 226

Schlagwörter

Angewandte Informatik, Artificial Intelligence, Computer and Information Systems Applications, Computer Engineering and Networks, Computerhardware, Künstliche Intelligenz, Software Engineering

Herstellerinformationen +