Електронна книга > Наука > Техника > Машиностроение, Технология производства > 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.20

Купите эту электронную книгу и получите еще одну БЕСПЛАТНО!

язык английский ● Формат 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 328 Электронные книги в этой категории

Обложка 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 …

Обложка Ph.D., Joe Cecil: Virtual Engineering

Ph.D., Joe Cecil: Virtual Engineering

Обложка Richard Grzybowski & F. Patrick McCluskey: High Temperature Electronics

Richard Grzybowski & F. Patrick McCluskey: High Temperature Electronics

The development of electronics that can operate at high temperatures has been identified as a critical technology for the next century. Increasingly, engineers will be called upon to design avionics, …

Обложка 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 …

Обложка D. R. F. West: Ternary Phase Diagrams in Materials Science

D. R. F. West: Ternary Phase Diagrams in Materials Science

This book provides an introductory treatment of ternary equilibrium diagrams. It presents case studies in the field of metallurgy and material science. It is useful for undergraduates and postgraduat …

Обложка Renato Machado Cotta: Integral Transforms in Computational Heat and Fluid Flow

Renato Machado Cotta: Integral Transforms in Computational Heat and Fluid Flow

Integral Transforms in Computational Heat and Fluid Flow is a comprehensive volume that emphasizes the generalized integral transform technique (G.I.T.T.) and the developments that have made the tech …

Обложка T C S M (Apar Industries Limited, Maharashtra, India.) Gupta & Jitendra Kumar (SRM Inst. of Science: Sustainable Lubrication

T C S M (Apar Industries Limited, Maharashtra, India.) Gupta & Jitendra Kumar (SRM Inst. of Science: Sustainable Lubrication

Sustainable Lubrication overviews recent advances in the development of lubricants and their usage in different tribological systems, starting from nanoscale contacts up to macroscale assemblies with …

Обложка Farzin Asadi: Electric and Electronic Circuit Simulation using TINA-TI®

Farzin Asadi: Electric and Electronic Circuit Simulation using TINA-TI®

A circuit simulator is a computer program that permits us to see circuit behavior, i.e. circuit voltages and currents, without making the circuit. Use of a circuit simulator is a cheap, efficient, an …

Обложка Bhaskar Choubey & Alex James: Selected Topics in Intelligent Chips with Emerging Devices, Circuits and Systems

Bhaskar Choubey & Alex James: Selected Topics in Intelligent Chips with Emerging Devices, Circuits and Systems

Memristors have provided a new direction of thinking for circuit designers to overcome the limits of scalability and for thinking of building systems beyond Moore’s law. Over the last decade, there h …

Обложка John Phillip (University of Newcastle, UK) Carter & Chandrakant S. (University of Arizona, Tucson, USA) Desai: DSC/HISS Modeling Applications for Problems in Mechanics, Geomechanics, and Structural Mechanics

John Phillip (University of Newcastle, UK) Carter & Chandrakant S. (University of Arizona, Tucson, USA) Desai: DSC/HISS Modeling Applications for Problems in Mechanics, Geomechanics, and Structural Mechanics

Understanding the mechanical behavior of solids and contacts (interfaces and joints) is vital for the analysis, design, and maintenance of engineering systems. Materials may simultaneously experience …

Следущая страница >>>