Computer Safety, Reliability, and Security
Produktnummer:
18daba18d700a24057b65c4a46879a919a
| Themengebiete: | architecture-driven assurance of safety and security cyber physical threats and vulnerability analysis distributed and real-time monitoring and control fault detection and recovery mechanisms formal methods for verification, validation, and fault tolerance in-the-loop and model-based testing methods for qualification, assurance and certification model-based analysis, design, and assessment probabilistic verification and validation safety/security risk assessment |
|---|---|
| Veröffentlichungsdatum: | 11.08.2023 |
| EAN: | 9783031409226 |
| Sprache: | Englisch |
| Seitenzahl: | 284 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Bitsch, Friedemann Guiochet, Jérémie Tonetta, Stefano |
| Verlag: | Springer International Publishing |
| Untertitel: | 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20–22, 2023, Proceedings |
Produktinformationen "Computer Safety, Reliability, and Security"
This book constitutes the refereed proceedings of the 42nd International Conference on Computer Safety, Reliability and Security, SAFECOMP 2023, which took place in Toulouse, France, in September 2023.The 20 full papers included in this volume were carefully reviewed and selected from 100 submissions. They were organized in topical sections as follows: Safety assurance; software testing and reliability; neural networks robustness and monitoring; model-based security and threat analysis; safety of autonomous driving; security engineering; AI safety; and neural networks and testing.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen