Geschäftskunden Kundenprogramme
Vor Ort
Merkzettel Warenkorb
  • Produktbild: Computer Safety, Reliability, and Security
  • Produktbild: Computer Safety, Reliability, and Security
Band 14181

Computer Safety, Reliability, and Security 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20–22, 2023, Proceedings

Aus der Reihe Lecture Notes in Computer Science

Fr. 93.90

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

11.08.2023

Abbildungen

XVII, 284 p. 113 illus., 82 illus. in color.

Herausgeber

Jérémie Guiochet + weitere

Verlag

Springer

Seitenzahl

284

Maße (L/B/H)

23.5/15.5/1.7 cm

Gewicht

464 g

Auflage

1st ed. 2023

Sprache

Englisch

ISBN

978-3-031-40922-6

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

11.08.2023

Abbildungen

XVII, 284 p. 113 illus., 82 illus. in color.

Herausgeber

Verlag

Springer

Seitenzahl

284

Maße (L/B/H)

23.5/15.5/1.7 cm

Gewicht

464 g

Auflage

1st ed. 2023

Sprache

Englisch

ISBN

978-3-031-40922-6

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Computer Safety, Reliability, and Security
  • Produktbild: Computer Safety, Reliability, and Security
  • Safety Assurance.- Assurance Case Arguments in the Large – CERN LHC Machine Protection System.- Identifying Run-time Monitoring Requirements for Autonomous Systems through the Analysis of Safety Arguments.- Redesigning Medical Device Assurance: Separating Technological and Clinical Assurance Cases.- Software Testing & Reliability.- A Cognitive Framework for Modeling Coincident Software Faults: An Experimental Study.- A Taxonomy of Software Defect Forms for Certification Tests in Aviation Industry.- Constraint-guided Test Execution Scheduling: An Experience Report at ABB Robotics.- Neural Networks Robustness & Monitoring.- A low-cost strategic monitoring approach for scalable and interpretable error detection in deep neural networks.- Are Transformers More Robust? Towards Exact Robustness Verification for Transformers.- Model-based Security and Threat Analysis.- Model-based Generation of Attack-Fault Trees.- MBTA: A Model-Based Threat Analysis approach for software architectures.- Attribute Repair for Threat Prevention.- Safety of Autonomous Driving.- Probabilistic Spatial Relations for Monitoring Behavior of Road Users.- Concept and metamodel to support cross-domain safety analysis for ODD expansion of autonomous systems.- Security Engineering.- Pattern-Based Information Flow Control for Safety-Critical On-Chip Systems.- From Standard to Practice: Towards ISA/IEC 62443-conform Public Key Infrastructures.- AI Safety.- The Impact of Training Data Shortfalls on Safety of AI-based Clinical Decision Support Systems.- Data-centric Operational Design Domain Characterization for Machine Learning-based Aeronautical Products.- Online Quantization Adaptation for Fault-Tolerant Neural Network Inference.- Neural Networks & Testing.- Evaluation of Parameter-based Attacks against Embedded Neural Networks with Laser Injection.- Towards Scenario-based Safety Validation for Autonomous Trains with Deep Generative Models.