Catalog > Sciences > Engineering / Technics > Genetics, Genetic Engineering > Simon Collart-Dutilleul & Thierry Lecomte: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (ePUB)

Simon Collart-Dutilleul & Thierry Lecomte
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification [EPUB ebook]
5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings

Support

Cover of Simon Collart-Dutilleul & Thierry Lecomte: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (ePUB)

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.

€64.05

Buy this ebook and get 1 more FREE!

Language English ● Format EPUB ● ISBN 9783031433665 ● Editor Simon Collart-Dutilleul & Thierry Lecomte ● Publisher Springer Nature Switzerland ● Published 2023 ● Downloadable 3 times ● Currency EUR ● ID 9198544 ● Copy protection Adobe DRM

Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

Simon Collart-Dutilleul Thierry Lecomte Birgit Milius

16,400 Ebooks in this category

Cover of Archibald Williams: Romance Of Modern Mechanism

Archibald Williams: Romance Of Modern Mechanism

The Romance of Modern Mechanism’ is a book written by Archibald Williams, first published in 1906. The book explores the technological advancements of the time, focusing on the mechanics and engineer …

Cover of Efim (State Marine Technical University, St. Petersburg, Russia) Rozenwasser & Rafael (SPIIRAN, St. Petersburg, Russia) Yusupov: Sensitivity of Automatic Control Systems

Efim (State Marine Technical University, St. Petersburg, Russia) Rozenwasser & Rafael (SPIIRAN, St. Petersburg, Russia) Yusupov: Sensitivity of Automatic Control Systems

Although it arose much earlier in a variety of contexts, sensitivity theory became an independent branch of science in the sixties. Since then, researchers from around the world have continued to mak …

Cover of Gregory J. Exarhos: Characterization of Optical Materials

Gregory J. Exarhos: Characterization of Optical Materials

Cover of Girma (USDA, ARS, NCAUR, CPF, Peoria, Illinois, USA) Biresaw & Brajendra K. (University of Illinois, Urbana-Champaign, USA) Sharma: Environmentally Friendly and Biobased Lubricants

Girma (USDA, ARS, NCAUR, CPF, Peoria, Illinois, USA) Biresaw & Brajendra K. (University of Illinois, Urbana-Champaign, USA) Sharma: Environmentally Friendly and Biobased Lubricants

A Comprehensive Review of Developing Environmentally Friendly Lubricants A push from environmentally savvy consumers along with recent changes in governmental regulations have paved the way for a mar …

Cover of Ferdinand (Ulm University, Germany) Scholz: Compound Semiconductors

Ferdinand (Ulm University, Germany) Scholz: Compound Semiconductors

This book provides an overview of compound semiconductor materials and their technology. After presenting a theoretical background, it describes the relevant material preparation technologies for bul …

Cover of Soren Lyngso: Agile Strategy Management

Soren Lyngso: Agile Strategy Management

Your strategic initiatives are constantly under fire due to the evolving nature of markets, technology, laws, and government. To ensure your strategy succeeds, it must remain flexible while confronti …

Cover of MB Tischler: Advances In Aircraft Flight Control

MB Tischler: Advances In Aircraft Flight Control

This book provides a single comprehensive resource that reviews many of the current aircraft flight control programmes from the perspective of experienced practitioners directly involved in the proje …

Cover of Frank (University of Colorado, Boulder, USA (retired)) Kreith & Paul (NREL, Golden, Colorado, USA) Norton: Air Conditioning and Refrigeration Engineering

Frank (University of Colorado, Boulder, USA (retired)) Kreith & Paul (NREL, Golden, Colorado, USA) Norton: Air Conditioning and Refrigeration Engineering

An air conditioning system consists of components and equipment arranged in sequential order to control and maintain an indoor environment. The goal is to provide a healthy and comfortable climate wi …

Cover of DanielD. Pollock: Thermocouples

DanielD. Pollock: Thermocouples

Thermocouples: Theory and Properties provides the basis for the examination and explanation of thermoelectric phenomena and their correlations with other physical properties. These results are applie …

Cover of Holger Martin: Heat Exchangers

Holger Martin: Heat Exchangers

This is a text/reference illustrating thermal and hydraulic design of heat exchangers. The book shows how to apply the fundamentals of thermodynamics, heat transfer, and fluid dynamics for a systemat …