Catalog > Scienza > Tecnica > Ingegneria meccanica, Ingegneria della produzione > 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

Supporto

Copertina di 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

Acquista questo ebook e ricevine 1 in più GRATIS!

Lingua Inglese ● Formato EPUB ● ISBN 9783031433665 ● Editore Simon Collart-Dutilleul & Thierry Lecomte ● Casa editrice Springer Nature Switzerland ● Pubblicato 2023 ● Scaricabile 3 volte ● Moneta EUR ● ID 9198544 ● Protezione dalla copia Adobe DRM

Richiede un lettore di ebook compatibile con DRM

Altri ebook dello stesso autore / Editore

Simon Collart-Dutilleul Thierry Lecomte Birgit Milius

16.400 Ebook in questa categoria

Copertina di 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 …

Copertina di 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 …

Copertina di Gregory J. Exarhos: Characterization of Optical Materials

Gregory J. Exarhos: Characterization of Optical Materials

Copertina di Israel E. Wachs: Characterization of Catalytic Materials

Israel E. Wachs: Characterization of Catalytic Materials

Copertina di 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 …

Copertina di 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 …

Copertina di 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 …

Copertina di Ganapathy: Steam Plant Calculations Manual, Revised and Expanded

Ganapathy: Steam Plant Calculations Manual, Revised and Expanded

Maintaining a question-and-answer format, this second edition provides simplified means of solving nearly 200 practical problems that confront engineers involved in the planning, design, operation an …

Copertina di 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 …

Copertina di 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 …

Pagina successiva >>>