LEADER 03575nam  22007935  450 
001 9910590071803321
005 20251225203552.0
010   $a9783031148354
010   $a3031148355
024 7 $a10.1007/978-3-031-14835-4
035   $a(MiAaPQ)EBC7077647
035   $a(Au-PeEL)EBL7077647
035   $a(CKB)24739665600041
035   $a(PPN)264191412
035   $a(BIP)85467070
035   $a(BIP)85093044
035   $a(DE-He213)978-3-031-14835-4
035   $a(EXLCZ)9924739665600041
100   $a20220824d2022      u|         0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aComputer Safety, Reliability, and Security $e41st International Conference, SAFECOMP 2022, Munich, Germany, September 6?9, 2022, Proceedings /$fedited by Mario Trapp, Francesca Saglietti, Marc Spisländer, Friedemann Bitsch
205   $a1st ed. 2022.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2022.
215   $a1 online resource (383 pages)
225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v13414
311 08$aPrint version: Trapp, Mario Computer Safety, Reliability, and Security Cham : Springer International Publishing AG,c2022 9783031148347 
320   $aIncludes bibliographical references and index.
327   $aSafety Analysis and Certification -- Assurance Cases -- Fault Detection, Monitoring and Tolerance -- Security and Safety -- Fault Injection -- Object Detection and Perception -- Testing.
330   $aThis book constitutes the proceedings of the 41st International Conference on Computer Safety, Reliability and Security, SAFECOMP 2022, which took place in Munich, Germany, in September 2022. The 24 full papers included in this volume were carefully reviewed and selected from 93 submissions. SafeComp has contributed to the progress of the state-of-the-art in dependable application of computers in safety-related and safety-critical systems. SafeComp is an annual event covering the state-of-the-art, experience and new trends in the areas of safety, security and reliability of critical computer applications.
410  0$aLecture Notes in Computer Science,$x1611-3349 ;$v13414
606   $aComputer engineering
606   $aComputer networks
606   $aComputer programming
606   $aProgramming languages (Electronic computers)
606   $aComputers
606   $aComputer science
606   $aApplication software
606   $aComputer Engineering and Networks
606   $aProgramming Techniques
606   $aProgramming Language
606   $aComputing Milieux
606   $aTheory of Computation
606   $aComputer and Information Systems Applications
615  0$aComputer engineering.
615  0$aComputer networks.
615  0$aComputer programming.
615  0$aProgramming languages (Electronic computers)
615  0$aComputers.
615  0$aComputer science.
615  0$aApplication software.
615 14$aComputer Engineering and Networks.
615 24$aProgramming Techniques.
615 24$aProgramming Language.
615 24$aComputing Milieux.
615 24$aTheory of Computation.
615 24$aComputer and Information Systems Applications.
676   $a005.8
702   $aTrapp$b Mario
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910590071803321
996   $aComputer Safety, Reliability, and Security$92908259
997   $aUNINA