Trefferliste "Verification & Validation Of Safety-critical Systems" - alle Bücher

Wir konnten keine exakten Treffer zu Ihrer Suche nach "Verification & validation of safety-critical systems" finden. Könnten diese Produkte zu Ihrer Suche passen?

Calin Belta, Max Cohen

Adaptive and Learning-Based Control of Safety-Critical Systems

This book stems from the growing use of learning-based techniques, such as reinforcement learning and adaptive control, in the control of autonomous and safety-critical systems. Safety is critical to many…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 63,99* Aktueller Preis: EUR 63,99

Artikel merken

In den Warenkorb

Menge ändern

Stabilization, Safety, and Security of Distributed Systems

This book constitutes the proceedings of the 26th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2024, held in Nagoya, Japan, during October 20-22, 2024. The 2…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 81,04* Aktueller Preis: EUR 81,04

Artikel merken

In den Warenkorb

Menge ändern

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

Lecture Notes in Computer Science - Band 15220

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

lieferbar innerhalb 2-3 Wochen

Buch

EUR 72,27* Aktueller Preis: EUR 72,27

Artikel merken

In den Warenkorb

Menge ändern

Convergence: Breaking Down Barriers Between Disciplines

This book presents the proceedings of the 7th conference Healthcare Systems Ergonomics and Patient Safety (HEPS), held in Delft, The Netherlands on November 2-4, 2022, which was endorsed by the Internatio…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 240,94* Aktueller Preis: EUR 240,94

Artikel merken

In den Warenkorb

Menge ändern