Catalog > Sains > Kejuruteraan / Teknikal > Genetik, Kejuruteraan Genetik > 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

Sokongan

perlindungan daripada 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

Beli ebook ini dan dapatkan 1 lagi PERCUMA!

Bahasa Inggeris ● Format EPUB ● ISBN 9783031433665 ● Penyunting Simon Collart-Dutilleul & Thierry Lecomte ● Penerbit Springer Nature Switzerland ● Diterbitkan 2023 ● Muat turun 3 kali ● Mata wang EUR ● ID 9198544 ● Salin perlindungan Adobe DRM

Memerlukan pembaca ebook yang mampu DRM

Lebih banyak ebook daripada pengarang yang sama / Penyunting

Simon Collart-Dutilleul Thierry Lecomte Birgit Milius

16,400 Ebooks dalam kategori ini

perlindungan daripada 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 …

perlindungan daripada 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 …

perlindungan daripada Gregory J. Exarhos: Characterization of Optical Materials

Gregory J. Exarhos: Characterization of Optical Materials

perlindungan daripada 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 …

perlindungan daripada 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 …

perlindungan daripada 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 …

perlindungan daripada 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 …

perlindungan daripada 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 …

perlindungan daripada 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 …

perlindungan daripada 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 …

Muka surat seterusnya >>>