|  |
| |
| Artikel-Nr.:
858A-9783031409226 Herst.-Nr.:
9783031409226 EAN/GTIN:
9783031409226 |
| |
|
| | |
| 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. Weitere Informationen: | | Author: | Jérémie Guiochet; Stefano Tonetta; Friedemann Bitsch | Verlag: | Springer International Publishing | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: Hardwarebücher - englischsprachig, datenbanken (fachbücher), fault detection and recovery mechanisms, distributed and real-time monitoring and control, safety/security risk assessment, model-based analysis, design, and assessment, formal methods for verification, validation, and fault tolerance, probabilistic verification and validation, in-the-loop and model-based testing, architecture-driven assurance of safety and security, methods for qualification, assurance and certification, cyber physical threats and vulnerability analysis, dependability analysis |
| | |
| |