Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Image close
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Show Hide Adult Content
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computing: general

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

5th International Conference, RSSRail 2023, Berlin, Germany, October 10–12, 2023, Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$177.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $44.25 with Afterpay Learn more

6 weekly interest-free payments of $29.50 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 12-24 June using International Courier

Explore more Lecture Notes in Computer Science,

See all products in this series

Advances in Cryptology – EUROCRYPT 2024
$344.00
Advances in Cryptology – EUROCRYPT 2024
Paperback / softback
Pre-order - out 31 May 2024
Requirements Engineering: Foundation for Software Quality
$164.00
Requirements Engineering: Foundation for Software Quality
Paperback / softback
Pre-order - out tomorrow
Big Data Analytics in Astronomy, Science, and Engineering
$203.00
Big Data Analytics in Astronomy, Science, and Engineering
Paperback / softback
Pre-order - out 10 Jun 2024
Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in Abdomen CT
$203.00
Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in...
Paperback / softback
Pre-order - out 14 Jul 2024
Constructive Side-Channel Analysis and Secure Design by Romain Wacquez
$139.00
Constructive Side-Channel Analysis and Secure Design
by Romain Wacquez ~ Paperback / softback
Pre-order - out tomorrow
Discrete Geometry and Mathematical Morphology by Sara Brunetti
$315.00
Discrete Geometry and Mathematical Morphology
by Sara Brunetti ~ Paperback / softback
Pre-order - out 6 Jun 2024
Exercises in Computer Systems Analysis by Wolfgang Everling
$98.00
Exercises in Computer Systems Analysis
by Wolfgang Everling ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Architecture of Distributed Computer Systems by G. Bochmann
$93.00
Architecture of Distributed Computer Systems
by G. Bochmann ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Next Generation Arithmetic
$164.00
Next Generation Arithmetic
Paperback / softback
Available - Usually ships in 3-4 weeks
Dynamics of Information Systems
$177.00
Dynamics of Information Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Web and Wireless Geographical Information Systems
$164.00
Web and Wireless Geographical Information Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Computer Vision – ECCV 2022
$318.00
Computer Vision – ECCV 2022
Paperback / softback
Available - Usually ships in 3-4 weeks
Passive and Active Measurement
$229.00
Passive and Active Measurement
Paperback / softback
Available - Usually ships in 3-4 weeks
Cybersecurity of Digital Service Chains
$139.00
Cybersecurity of Digital Service Chains
Paperback / softback
Available - Usually ships in 3-4 weeks
Pattern Recognition, Computer Vision, and Image Processing. ICPR 2022 International Workshops and Challenges
$446.00
Pattern Recognition, Computer Vision, and Image Processing. ICPR 2022...
Paperback / softback
Available - Usually ships in 3-4 weeks
Implementation and Application of Automata
$190.00
Implementation and Application of Automata
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

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.
Release date NZ
September 8th, 2023
Contributors
  • Edited by Birgit Milius
  • Edited by Simon Collart-Dutilleul
  • Edited by Thierry Lecomte
Pages
226
Edition
1st ed. 2023
Audience
  • Professional & Vocational
Illustrations
75 Illustrations, color; 27 Illustrations, black and white; XX, 226 p. 102 illus., 75 illus. in color.
ISBN-13
9783031433658
Product ID
37967297

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Computing: general
Books >
Non-Fiction >
Technology >
Mechanical engineering & materials >
Production engineering >
Computer aided manufacture
Books >
Non-Fiction >
Technology >
Mechanical engineering & materials >
Production engineering >
Reliability engineering
Books >
Non-Fiction >
Technology >
Transport technology >
Railway technology & engineering
Books >
Computers & Internet >
Computer science >
Artificial intelligence