Електронна книга > Наука > Техніка > Машинобудування, виробництво > 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

Підтримка

Обкладинка 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

Придбайте цю електронну книгу та отримайте ще 1 БЕЗКОШТОВНО!

Мова Англійська ● Формат EPUB ● ISBN 9783031433665 ● Редактор Simon Collart-Dutilleul & Thierry Lecomte ● Видавець Springer Nature Switzerland ● Опубліковано 2023 ● Завантажувані 3 разів ● Валюта EUR ● Посвідчення особи 9198544 ● Захист від копіювання Adobe DRM

Потрібен читач електронних книг, що підтримує DRM

Більше електронних книг того самого автора / Редактор

Simon Collart-Dutilleul Thierry Lecomte Birgit Milius

16 400 Електронні книги в цій категорі

Обкладинка 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 …

Обкладинка 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 …

Обкладинка Gregory J. Exarhos: Characterization of Optical Materials

Gregory J. Exarhos: Characterization of Optical Materials

Обкладинка Israel E. Wachs: Characterization of Catalytic Materials

Israel E. Wachs: Characterization of Catalytic Materials

Обкладинка 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 …

Обкладинка 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 …

Обкладинка 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 …

Обкладинка 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 …

Обкладинка 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 …

Обкладинка 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 …

Наступна сторінка >>>