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  
Computer programming / software development  
Software Engineering

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

Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$159.99
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

Buy Now, Pay Later with:

4 payments of $40.00 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 17-29 July using International Courier

Explore more Lecture Notes in Computer Science,

See all products in this series

Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in Abdomen CT
$182.99
Fast, Low-resource, and Accurate Organ and Pan-cancer Segmentation in...
Paperback / softback
Pre-order - out 22 Jul 2024
Computer Architecture Save $14
$136.99
$151.95
Computer Architecture
Paperback / softback
Available - Usually ships in 3-4 weeks
Multi-Agent-Based Simulation XII
$167.99
Multi-Agent-Based Simulation XII
Paperback / softback
Available - Usually ships in 3-4 weeks
Internet of Things – ICIOT 2019
$135.99
Internet of Things – ICIOT 2019
Paperback / softback
Available - Usually ships in 3-4 weeks
Conditional Term Rewriting Systems Save $23
$134.99
$158.95
Conditional Term Rewriting Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Privacy in Statistical Databases
$135.99
Privacy in Statistical Databases
Paperback / softback
Available - Usually ships in 3-4 weeks
Scalable Uncertainty Management Save $27
$135.99
$163.95
Scalable Uncertainty Management
Paperback / softback
Available - Usually ships in 3-4 weeks
Paragon by Mark S. Sherman Save $44
$135.99
$180.95
Paragon
by Mark S. Sherman ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Verification, Model Checking, and Abstract Interpretation
$181.99
Verification, Model Checking, and Abstract Interpretation
Paperback / softback
Available - Usually ships in 3-4 weeks
Business Process Management
$193.99
Business Process Management
Paperback / softback
Available - Usually ships in 3-4 weeks
Advances in Database Technology - EDBT '88
$163.99
Advances in Database Technology - EDBT '88
Paperback / softback
Available - Usually ships in 3-4 weeks
ICDT '88 Save $59
$136.99
$196.95
ICDT '88
Paperback / softback
Available - Usually ships in 3-4 weeks
Software Engineering
$118.99
Software Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
Computer Aided Verification
$123.99
Computer Aided Verification
Paperback / softback
Available - Usually ships in 3-4 weeks
The Semantic Web – ISWC 2022
$262.99
The Semantic Web – ISWC 2022
Paperback / softback
Available - Usually ships in 3-4 weeks
Experimental Software Engineering Issues: Save $13
$144.99
$158.95
Experimental Software Engineering Issues:
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

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. The 18 full papers presented in this book were carefully reviewed and selected from 38 submissions. They cover a range of topics including railways system and infrastructure advance modelling; scheduling and track planning; safety process and validation; modelling; formal verification; and security. 
Release date Australia
April 24th, 2019
Contributors
  • Edited by Alexander Romanovsky
  • Edited by Simon Collart-Dutilleul
  • Edited by Thierry Lecomte
Pages
297
Edition
1st ed. 2019
Audience
  • Professional & Vocational
Illustrations
91 Illustrations, color; 109 Illustrations, black and white; XIX, 297 p. 200 illus., 91 illus. in color.
ISBN-13
9783030187439
Product ID
30310884

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 >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer Applications >
Computer modelling & simulation
Books >
Computers & Internet >
Computer programming / software development >
Algorithms & data structures
Books >
Computers & Internet >
Computer programming / software development >
Compilers
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation