Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig bis 25.06.2026 auf fremdsprachige Bücher online auf thalia.at und in der Thalia App. Einzelne Artikel können ausgeschlossen sein. Ausgenommen sind preisgebundene Artikel & eBooks. Pro Einkauf einmal einlösbar. Click & Collect nur bei Onlinevorabzahlung möglich. Keine Barauszahlung. Nicht kombinierbar mit anderen Aktionen und Gutscheinen. Gutschein wird auf max. 500€ Bestellwert angerechnet. Nicht gültig für Geschenkkarten, Versandkosten und Services.
Produktbild: Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops
Band 15955

Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops CoC3CPS, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Stockholm, Sweden, September 9, 2025, Proceedings

Aus der Reihe Lecture Notes in Computer Science

74,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

22.08.2025

Abbildungen

XIX, 220 illus., 187 illus. in color., farbige Illustrationen, schwarz-weiss Illustrationen

Herausgeber

Martin Törngren + weitere

Verlag

Springer

Seitenzahl

595

Maße (L/B/H)

23,5/15,5/3,3 cm

Gewicht

920 g

Originaltitel

Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops

Sprache

Englisch

ISBN

978-3-032-02017-8

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

22.08.2025

Abbildungen

XIX, 220 illus., 187 illus. in color., farbige Illustrationen, schwarz-weiss Illustrationen

Herausgeber

Verlag

Springer

Seitenzahl

595

Maße (L/B/H)

23,5/15,5/3,3 cm

Gewicht

920 g

Originaltitel

Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops

Sprache

Englisch

ISBN

978-3-032-02017-8

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Kundinnen und Kunden meinen

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Die Bewertungen sind nach Format, Anzahl Sterne und Datum sortiert.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Kundinnen und Kunden meinen

0 Bewertungen filtern
  • Produktbild: Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops

  • .- 1st International Workshop on Co-Design of Communication, Computing, and Control in Cyber-Physical Systems (CoC3CPS 2025).

    .- An end-to-end testbed for communication, compute, and control co-design: the Kista Innovation Park.

    .- Real-Time Control Selection over the Computing Continuum.

    .- Temporal Intent-Aware Multi-Agent Learning for Network Optimization.

    .- 20th International Workshop on Dependable Smart Cyber-Physical Systems and Systems-of-Systems (DECSoS 2025).

    .- Dependable AI Inference - A work-in-progress on CPU, Co-Processor and FPGA Approaches.

    .- Methodology for Test Case Allocation based on a Formalized ODD.

    .- Safety-Aware Strategy Synthesis for Autonomous System of Systems with UPPAAL.

    .- From Bouncing Break-ins to Frictional Firewalls: Interacting Requirements for Vehicle Safety and Security.

    .- A ThreatGet-Based Framework for Aligning System Security with the Cyber Resilience Act.

    .- i7Fuzzer: Neural-Guided Fuzzing for Enhancing Security Testing of Stateful Protocols.

    .- HyLLM-IDS: A Conceptual Hybrid LLM-Assisted Intrusion Detection Framework for Cyber-Physical Systems.

    .- PROTECTION: Provably Robust Intrusion Detection system for IoT through recursive Delegation.

    .- Towards Credible Simulators: A Validation Methodology for Safety-Critical Virtual Testing.

    .- Cybersecurity in Partitioned Space Embedded Systems.

    .- 12th International Workshop on Next Generation of System Assurance Approaches for Critical Systems (SASSUR 2025).

    .- A GSN-Based Requirement Analysis of the EU AI Regulation.

    .- A Safety Argument Fragment Towards Safe Deployment of Performant Automated Driving Systems.

    .- Certus: A domain specific language for confidence assessment in assurance cases.

    .- Doubt in Safety Claims is Inevitable: What is its Impact, and How to Deal with it?.

    .- Ensuring Information Security in Inclusive Digital Environments.

    .- Functional Safety with Model-Based Safety Analysis: A Perspective from ARP4761A.

    .- High-Performance AI Inference for Agile Deployment on Space-Qualified Processors: A Performance Benchmarking Study.

    .- SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine.

    .- 4th International Workshop on Safety-Security Interaction (SENSEI 2025).

    .- Trick or Treat: A Study of Human Detection of Manipulative Tactics in Phishing Emails.

    .- Rational Verification in Repeated Security Games.

    .- Quantitative Assessment of Energy Efficiency, Comfort, and Safety in an Intelligent Heating System Under False Data.

    .- Cyber-Safety Assessment of Wind Turbines: A Reachability Analysis Approach Against Cyber-Attacks.

    .- 2nd International Workshop on Safety/Reliability/Trustworthiness of Intelligent Transportation Systems (SRToITS 2025).

    .- Scenario Hazard Prevention for Autonomous Driving Based on Improved STPA.

    .- Alexandru Forrai. Systematic test scenario generation and risk assessment for automated driving system.

    .- AV-SLAF: A Scenario-Layered Framework for Safety Analysis of Autonomous Vehicles Based on STPA and CTA.

    .- Applying Machine Learning towards the Recognition of Driving Behavior.

    .- External Human-Machine Interaction Design Principles and Supporting Technologies for Autonomous Vehicles.

    .- Formal Analysis of Resilience in Transport Systems with Bigraphs.

    .- Vehicle-Level Safety Validation of AD/ADAS Systems via Extreme Value Analysis.

    .- 8th International Workshop on Artificial Intelligence Safety Engineering (WAISE 2025).

    .- A Modular AI Testing Framework for Trustworthy AI: Proof-of-Concept Implementation.

    .- Architectural Mitigation of Control AI Risk Factors for Safe Human-Robot-Collaboration.

    .- Uncovering Unsafe Feature Interactions in Vehicle Control Using Generative AI and Digital Twins.

    .- AURORA Networks: Auto-associative Universal Real-time Outlier Risk Assessment Networks.

    .- Does not impute! Performance and ethical implications of missing data for an AI-based diabetes co-morbidity predictor.

    .- Facilitating Fault Tree Analysis with Generative AI.

    .- Efficient Safety Retrofitting Against Jailbreaking for LLMs.

    .- Risk Analysis of One-Pixel Image Defects in Safety-Critical Deep Neural Networks.

    .- Safe Adversarial Control Through Interaction.