Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings

Name: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings
Price: 94.95 CAD
Availability: InStock
Author: Thierry Lecomte
ISBN: 9783031433658

Birgit Milius Edited by Simon Collart-dutilleul , Thierry Lecomte

Sep 08, 2023

$94.95

Online pricing. Prices and offers may vary in store.

Ship to me

Checking availability…

Buy now & pick up in store

Checking availability…

Find it in store

Checking availability…

Quantity

Earn 475 points and enjoy extra savings with plum+.

Overview

Language

English

No. of Pages

226

Lecture Notes In Computer Science

Publisher: Springer Nature

Shipping dimensions: 9" H x 6" W x 1" L

ISBN: 9783031433658

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: 4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022, Proceedings

Simon Collart-dutilleul Paperback
$102.50
2 formats available
Reliability, Safety, And Security Of Railway Systems. Modelling, Analysis, Verification, And Certification: Third International Conference, Rssrail 2019, Lille, France, June 4-6, 2019, Proceedings

Simon Collart-dutilleul Paperback
$94.95
2 formats available
International Symposium on Fundamentals of Software Engineering: International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings

Farhad Arbab Hardcover
$80.50
Lean and Agile Software Development: 6th International Conference, LASD 2022, Virtual Event, January 22, 2022, Proceedin: 6th International Conference, LASD 2022, Virtual Event, January 22, 2022, Proceedings

Adam Przyby Paperback
$102.50
2 formats available
Algorithms And Data Structures: 14th International Symposium, Wads 2015, Victoria, Bc, Canada, August 5-7, 2015. Proceedings

Frank Dehne Paperback
$80.50
Reliable Software Technologies - Ada-europe 2013: 18th International Conference, Berlin, Germany, June 11-15, 2013, Proceedings

Hubert B. Keller Paperback
$72.95
Quality of Information and Communications Technology: 15th International Conference, QUATIC 2022, Talavera de la Reina, Spain, September 12-14, 2022, Proceedings

Antonio Vallecillo Paperback
$131.50
2 formats available
Wireless Algorithms, Systems, And Applications: 11th International Conference, Wasa 2016, Bozeman, Mt, Usa, August 8-10, 2016. Proceedings

Qing Yang Paperback
$80.50
2 formats available
Environmental Software Systems: Proceedings of the International Symposium on Environmental Software Systems, 1995

Ralf Denzer Paperback
$437.95
3 formats available
Algorithms and Data Structures: 12th International Symposium, WADS 2011, New York, NY, USA, August 15-17, 2011, Proceedings

Frank Dehne Paperback
$80.50
Quantitative Evaluation of Systems: 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014, Proceedings

Gethin Norman Paperback
$80.50
Quality Of Information And Communications Technology: 13th International Conference, Quatic 2020, Faro, Portugal, September 9-11, 2020, Proceedings

Martin Shepperd Paperback
$80.50
2 formats available
Wireless Algorithms, Systems, and Applications: 6th International Conference, WASA 2011, Chengdu, China, August 11-13, 2011, Proceedings

Yu Cheng Paperback
$80.50
Wireless Algorithms, Systems, And Applications: 10th International Conference, Wasa 2015, Qufu, China, August 10-12, 2015, Proceedings

Kuai Xu Paperback
$80.50
2 formats available
Wireless Algorithms, Systems, And Applications: 9th International Conference, Wasa 2014, Harbin, China, June 23-25, 2014, Proceedings

Zhipeng Cai Paperback
$160.95
Human-Computer Interaction: Interaction Techniques and Environments: 14th International Conference, HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part II

Julie A. Jacko Paperback
$160.95
Lean and Agile Software Development: 5th International Conference, LASD 2021, Virtual Event, January 23, 2021, Proceedin: 5th International Conference, LASD 2021, Virtual Event, January 23, 2021, Proceedings

Adam Przyby Paperback
$124.50
2 formats available
Proceedings of the 21st Congress of the International Ergonomics Association (Iea 2021): Volume III: Sector Based Ergonomics

Nancy L. Black Paperback
$364.95
2 formats available
Quality Of Information And Communications Technology: 14th International Conference, Quatic 2021, Algarve, Portugal, September 8-11, 2021, Proceedings

Ana C. R. Paiva Paperback
$189.95
2 formats available
Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings

Owolabi Legunsen Paperback
$160.95
2 formats available

Editorial reviews

simon collart-dutilleul

Author

Advances in Intelligent Data Analysis XXI: 21st International Symposium on Intelligent Data Analysis, IDA 2023, Louvain-la-Neuve, Belgium, April 12-14, 2023, Proceedings

Bruno Crémilleux Paperback
$116.95
2 formats available
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: 4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022, Proceedings

Simon Collart-dutilleul Paperback
$102.50
2 formats available
Reliability, Safety, And Security Of Railway Systems. Modelling, Analysis, Verification, And Certification: Third International Conference, Rssrail 2019, Lille, France, June 4-6, 2019, Proceedings

Simon Collart-dutilleul Paperback
$94.95
2 formats available
Systems, Software and Services Process Improvement: 30th European Conference, EuroSPI 2023, Grenoble, France, August 30 - September 1, 2023, Proceedings, Part II

Murat Yilmaz Paperback
$116.95
2 formats available
Systems, Software And Services Process Improvement: 28th European Conference, Eurospi 2021, Krems, Austria, September 1-3, 2021, Proceedings

Murat Yilmaz Paperback
$204.50
2 formats available
Systems, Software and Services Process Improvement: 30th European Conference, EuroSPI 2023, Grenoble, France, August 30 - September 1, 2023, Proceedings, Part I

Murat Yilmaz Paperback
$145.95
2 formats available
String Processing And Information Retrieval: 28th International Symposium, Spire 2021, Lille, France, October 4-6, 2021, Proceedings

Thierry Lecroq Paperback
$102.50
2 formats available
Systems, Software and Services Process Improvement: 17th European Conference, EuroSPI 2010, Grenoble, France, September 1-3, 2010. Proceedings

Andreas Riel Paperback
$80.50
Systems, Software and Services Process Improvement: 29th European Conference, EuroSPI 2022, Salzburg, Austria, August 31 - September 2, 2022, Proceedings

Murat Yilmaz Paperback
$204.50
2 formats available
Systems, Software and Services Process Improvement: 31st European Conference, EuroSPI 2024, Munich, Germany, September 4-6, 2024, Proceedings, Part II

Murat Yilmaz Paperback
$145.95
2 formats available
Systems, Software and Services Process Improvement: 31st European Conference, EuroSPI 2024, Munich, Germany, September 4-6, 2024, Proceedings, Part I

Murat Yilmaz Paperback
$145.95
2 formats available
Reliable Software Technologies - Ada-Europe 2003: 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings

Jean-Pierre Rosen Paperback
$80.50
Traffic Monitoring and Analysis: 7th International Workshop, Tma 2015, Barcelona, Spain, April 21-24, 2015. Proceedings

Moritz Steiner Paperback
$80.50
Service-Oriented Computing ICSOC 2006: 4th International Conference, Chicago, IL, USA, December 4-7, 2006, Workshop Proceedings

Dimitrios Georgakopoulos Paperback
$80.50
Systems, Software And Services Process Improvement: 27th European Conference, Eurospi 2020, Dusseldorf, Germany, September 9-11, 2020, Proceedings

Murat Yilmaz Paperback
$160.95
2 formats available
Distributed Computing: 30th International Symposium, Disc 2016, Paris, France, September 27-29, 2016. Proceedings

Cyril Gavoille Paperback
$80.50
2 formats available
Reachability Problems: 12th International Conference, Rp 2018, Marseille, France, September 24-26, 2018, Proceedings

Igor Potapov Paperback
$80.50
2 formats available
Advanced Concepts for Intelligent Vision Systems: 21st International Conference, ACIVS 2023 Kumamoto, Japan, August 21-23, 2023 Proceedings

Jaques Blanc-Talon Paperback
$58.50
Information Search, Integration, And Personlization: 11th International Workshop, Isip 2016, Lyon, France, November 1-4, 2016, Revised Selected Papers

Dimitris Kotzinos Paperback
$80.50
2 formats available
Managing Large-Scale Service Deployment: 19th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2008, Samos Island, Greece, September 22-26, 2008, Proceedings

Filip De Turck Paperback
$80.50

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings

Overview

You May Also Like

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: 4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022, Proceedings

Reliability, Safety, And Security Of Railway Systems. Modelling, Analysis, Verification, And Certification: Third International Conference, Rssrail 2019, Lille, France, June 4-6, 2019, Proceedings

International Symposium on Fundamentals of Software Engineering: International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings

Lean and Agile Software Development: 6th International Conference, LASD 2022, Virtual Event, January 22, 2022, Proceedin: 6th International Conference, LASD 2022, Virtual Event, January 22, 2022, Proceedings

Algorithms And Data Structures: 14th International Symposium, Wads 2015, Victoria, Bc, Canada, August 5-7, 2015. Proceedings

Reliable Software Technologies - Ada-europe 2013: 18th International Conference, Berlin, Germany, June 11-15, 2013, Proceedings

Quality of Information and Communications Technology: 15th International Conference, QUATIC 2022, Talavera de la Reina, Spain, September 12-14, 2022, Proceedings

Wireless Algorithms, Systems, And Applications: 11th International Conference, Wasa 2016, Bozeman, Mt, Usa, August 8-10, 2016. Proceedings

Environmental Software Systems: Proceedings of the International Symposium on Environmental Software Systems, 1995

Algorithms and Data Structures: 12th International Symposium, WADS 2011, New York, NY, USA, August 15-17, 2011, Proceedings

Quantitative Evaluation of Systems: 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014, Proceedings

Quality Of Information And Communications Technology: 13th International Conference, Quatic 2020, Faro, Portugal, September 9-11, 2020, Proceedings

Wireless Algorithms, Systems, and Applications: 6th International Conference, WASA 2011, Chengdu, China, August 11-13, 2011, Proceedings

Wireless Algorithms, Systems, And Applications: 10th International Conference, Wasa 2015, Qufu, China, August 10-12, 2015, Proceedings

Wireless Algorithms, Systems, And Applications: 9th International Conference, Wasa 2014, Harbin, China, June 23-25, 2014, Proceedings

Human-Computer Interaction: Interaction Techniques and Environments: 14th International Conference, HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings, Part II

Lean and Agile Software Development: 5th International Conference, LASD 2021, Virtual Event, January 23, 2021, Proceedin: 5th International Conference, LASD 2021, Virtual Event, January 23, 2021, Proceedings

Proceedings of the 21st Congress of the International Ergonomics Association (Iea 2021): Volume III: Sector Based Ergonomics

Quality Of Information And Communications Technology: 14th International Conference, Quatic 2021, Algarve, Portugal, September 8-11, 2021, Proceedings

Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings

Ratings & Reviews

Editorial reviews

Author

Others Also Bought

Advances in Intelligent Data Analysis XXI: 21st International Symposium on Intelligent Data Analysis, IDA 2023, Louvain-la-Neuve, Belgium, April 12-14, 2023, Proceedings

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: 4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022, Proceedings

Reliability, Safety, And Security Of Railway Systems. Modelling, Analysis, Verification, And Certification: Third International Conference, Rssrail 2019, Lille, France, June 4-6, 2019, Proceedings

Systems, Software and Services Process Improvement: 30th European Conference, EuroSPI 2023, Grenoble, France, August 30 - September 1, 2023, Proceedings, Part II

Systems, Software And Services Process Improvement: 28th European Conference, Eurospi 2021, Krems, Austria, September 1-3, 2021, Proceedings

Systems, Software and Services Process Improvement: 30th European Conference, EuroSPI 2023, Grenoble, France, August 30 - September 1, 2023, Proceedings, Part I

String Processing And Information Retrieval: 28th International Symposium, Spire 2021, Lille, France, October 4-6, 2021, Proceedings

Systems, Software and Services Process Improvement: 17th European Conference, EuroSPI 2010, Grenoble, France, September 1-3, 2010. Proceedings

Systems, Software and Services Process Improvement: 29th European Conference, EuroSPI 2022, Salzburg, Austria, August 31 - September 2, 2022, Proceedings

Systems, Software and Services Process Improvement: 31st European Conference, EuroSPI 2024, Munich, Germany, September 4-6, 2024, Proceedings, Part II

Systems, Software and Services Process Improvement: 31st European Conference, EuroSPI 2024, Munich, Germany, September 4-6, 2024, Proceedings, Part I

Reliable Software Technologies - Ada-Europe 2003: 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings

Traffic Monitoring and Analysis: 7th International Workshop, Tma 2015, Barcelona, Spain, April 21-24, 2015. Proceedings

Service-Oriented Computing ICSOC 2006: 4th International Conference, Chicago, IL, USA, December 4-7, 2006, Workshop Proceedings

Systems, Software And Services Process Improvement: 27th European Conference, Eurospi 2020, Dusseldorf, Germany, September 9-11, 2020, Proceedings

Distributed Computing: 30th International Symposium, Disc 2016, Paris, France, September 27-29, 2016. Proceedings

Reachability Problems: 12th International Conference, Rp 2018, Marseille, France, September 24-26, 2018, Proceedings

Advanced Concepts for Intelligent Vision Systems: 21st International Conference, ACIVS 2023 Kumamoto, Japan, August 21-23, 2023 Proceedings

Information Search, Integration, And Personlization: 11th International Workshop, Isip 2016, Lyon, France, November 1-4, 2016, Revised Selected Papers

Managing Large-Scale Service Deployment: 19th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2008, Samos Island, Greece, September 22-26, 2008, Proceedings