Vor Ort
Merkzettel Warenkorb
  • Produktbild: Computer Safety, Reliability, and Security
  • Produktbild: Computer Safety, Reliability, and Security
Band 14181 - 10%

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
10% sparen

61,99 € UVP 69,54 €

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.