LEADER 00911cam0-2200313---450- 001 990009850210403321 005 20150129104038.0 010 $a978-88-6611-229-7 035 $a000985021 035 $aFED01000985021 035 $a(Aleph)000985021FED01 035 $a000985021 100 $a20140416d2012----km-y0itay50------ba 101 0 $aita 102 $aIT 105 $ay-------001yy 200 1 $aInternet-ional law$eprofili di diritto internazionale pubblico della rete$fGianpaolo Maria Ruotolo 210 $aBari$cCacucci$d2012 215 $a167 p.$d23 cm 610 0 $aInternet$aDiritto internazionale pubblico 676 $a343.09944$v22$zita 700 1$aRuotolo,$bGianpaolo Maria$0330234 801 0$aIT$bUNINA$gREICAT$2UNIMARC 901 $aBK 912 $a990009850210403321 952 $aIII T 361$b50000$fFSPBC 959 $aFSPBC 996 $aInternet-ional law$9263635 997 $aUNINA LEADER 05159nam 22009495 450 001 9910495185903321 005 20260407091917.0 010 $a3-030-83903-6 024 7 $a10.1007/978-3-030-83903-1 035 $a(CKB)4100000012008849 035 $a(MiAaPQ)EBC6712512 035 $a(Au-PeEL)EBL6712512 035 $a(PPN)257350519 035 $a(BIP)81352736 035 $a(BIP)80849679 035 $a(DE-He213)978-3-030-83903-1 035 $a(iGPub)SPNA0083465 035 $a(EXLCZ)994100000012008849 100 $a20210807d2021 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aComputer Safety, Reliability, and Security $e40th International Conference, SAFECOMP 2021, York, UK, September 8?10, 2021, Proceedings /$fedited by Ibrahim Habli, Mark Sujan, Friedemann Bitsch 205 $a1st ed. 2021. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2021. 215 $a1 online resource (283 pages) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v12852 311 08$a3-030-83902-8 320 $aIncludes bibliographical references and index. 327 $aMachine Learning Safety Assurance -- Evaluation Framework for Performance Limitation under Sensor Attack -- Could We Relieve AI/ML Models of the Responsibility of Providing Dependable Uncertainty Estimates? A Study on Outside-Model Uncertainty Estimates -- Towards certification of a reduced footprint ACAS-Xu system: A hybrid ML-based solution -- Security Engineering -- IT design for resiliency using extreme value analysis -- Evaluating and Comparing Contextually Relevant Robustness for Neural Network Classifiers -- SAE 21434-based Risk Assessment of Security Incidents in Automated Road Vehicles -- Safety and Assurance Cases -- Automating the Assembly of Security Assurance Case -- Safety Case Maintenance: A Systematic Literature Review -- Towards Certified Analysis of Software Product Line Safety Cases -- Machine Learning Applications -- Safety assurance of machine learning for chassis control functions -- Safe Interaction of Automated Forklifts and Humans at Blind Cornersin a Warehouse with Infrastructure Sensors -- Machine Learning-based Fault Injection for Hazard Analysis and Risk Assessment -- Safety Validation and Simulation -- SASSI: Safety Analysis using Simulation-based Situation Coverage for Cobot Systems -- Attacks and Faults Injection in Self-Driving Agents on the Carla Simulator ? Experience Report -- A Framework for Automated Quality Assurance and Documentation for Pharma 4.0 -- Fault Tolerance -- A Modular Approach To Non-Deterministic Dynamic Fault Trees -- Composition of Fault Forests. 330 $aThis book constitutes the proceedings of the 40th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2021, which took place in York, UK, in September 2021. The 17 full papers included in this volume were carefully reviewed and selected from 76 submissions. They were organized in topical sections as follows: machine learning safety assurance; security engineering; safety and assurance cases; machine learning applications; safety validation and simulation; and fault tolerance. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v12852 606 $aComputer engineering 606 $aComputer networks 606 $aSoftware engineering 606 $aApplication software 606 $aRobotics 606 $aMicroprogramming 606 $aData protection 606 $aComputer Engineering and Networks 606 $aSoftware Engineering 606 $aComputer and Information Systems Applications 606 $aRobotics 606 $aControl Structures and Microprogramming 606 $aData and Information Security 606 $aEnginyeria de programari$2thub 606 $aXarxes d'ordinadors$2thub 606 $aProgramari d'aplicació$2thub 606 $aRobòtica$2thub 606 $aProtecció de dades$2thub 608 $aLlibres electrònics$2thub 615 0$aComputer engineering. 615 0$aComputer networks. 615 0$aSoftware engineering. 615 0$aApplication software. 615 0$aRobotics. 615 0$aMicroprogramming. 615 0$aData protection. 615 14$aComputer Engineering and Networks. 615 24$aSoftware Engineering. 615 24$aComputer and Information Systems Applications. 615 24$aRobotics. 615 24$aControl Structures and Microprogramming. 615 24$aData and Information Security. 615 7$aEnginyeria de programari 615 7$aXarxes d'ordinadors 615 7$aProgramari d'aplicació 615 7$aRobòtica 615 7$aProtecció de dades 676 $a005.8 702 $aHabli$b Ibrahim 702 $aSujan$b Mark-Alexander 702 $aBitsch$b Friedemann 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910495185903321 996 $aComputer Safety, Reliability, and Security$92908259 997 $aUNINA