fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf
fachmedien.de - spezialisierte Fachinformationen für Studium und Beruf

Site Breadcrumb

Verkauf durch Sack Fachmedien

Gallina / Törngren / Bitsch

Computer Safety, Reliability, and Security

44th International Conference, SAFECOMP 2025, Stockholm, Sweden, September 10-12, 2025, Proceedings

Medium: Buch
ISBN: 978-3-032-01240-1
Verlag: Springer
Erscheinungstermin: 22.08.2025
In den Warenkorb
sofort versandfertig, Lieferfrist: 1-3 Werktage
Auf die Merkliste Drucken
Leseprobe
Überschrift

Beschreibung

Kostenloser Versand

nach Deutschland, Österreich und in die Schweiz

Bequem zahlen

Rechnung, Kreditkarte, PayPal oder Bankeinzug

Wir sind gerne für Sie da

0800 000-1378 (Inland)
service@fachmedien.de
<<Kontaktformular>>

Fragen

Fragen Lorem ipsum dolor sit amet, consetetur sadipscing elitr, sed diam nonumy eirmod tempor invidunt ut labore et dolore magna aliquyam erat, sed diam voluptua
Anwtorten

Anwtorten At vero eos et accusam et justo duo dolores et ea rebum. Stet clita kasd gubergren, no sea takimata sanctus est Lorem ipsum dolor sit amet. Lorem ipsum dolor sit amet

This book constitutes the refereed proceedings of the 44th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2025, held in Stockholm, Sweden, during September 2025. 

The 15 full papers included in these proceedings were carefully reviewed and selected from 79 submissions. They were organized in topical sections as follows: Safety Arguments/Cases; Data Sets and Dependability Properties; Testing and Complex Environments; Methodologies (1) - Safety Design and Risk Assessment; and Methodologies (2) Machine Learning and Large Language.

Produkteigenschaften

  • Artikelnummer: 9783032012401
  • Medium: Buch
  • ISBN: 978-3-032-01240-1
  • Verlag: Springer
  • Erscheinungstermin: 22.08.2025
  • Sprache(n): Englisch
  • Auflage: Erscheinungsjahr 2025
  • Serie: Lecture Notes in Computer Science
  • Produktform: Kartoniert, Paperback
  • Gewicht: 400 g
  • Seiten: 242
  • Format (B x H x T): 155 x 235 x 15 mm
  • Ausgabetyp: Kein, Unbekannt

Themen

Autoren/Hrsg.

Herausgeber

.- Safety Arguments/Cases.
.- SmartGSN: An Online Tool to Semi-automatically Manage Assurance Cases.
.- Principled Safety Assurance Arguments.
.- Consensus Building in Level 4 Automated Driving Field Trials through Assurance Cases.
.- Data Sets and Dependability Properties.
.- Creation and use of a representative dataset for Advanced Persistent Threats detection.
.- How Post-Completion Error Leads to Software Faults and Vulnerabilities: Industrial Case Studies.
.- Efficient Injury Risk Assessment for Automated Driving Systems Using Subset Simulation.
.- Testing and Complex Environments.
.- Alignment of SOTIF and Scenario-based Safety Evaluation Framework.
.- Managing capability in software dependability testing through generic test rigs.
.- Improving Out-of-Distribution Detection via Test-Time Augmentation.
.- Methodologies (1) – Safety Design and Risk Assessment.
.- Can C-Based ECC Models Leverage High-Level Synthesis? Evaluating Description Variants for Efficient Circuit.
.- Hot PASTA: Improved Pragmatics for System-Theoretic Process Analysis.
.- ULS: A Unified Likelihood Scale for Cross-Standard Risk Assessment.
.- Methodologies (2) – Machine Learning and Large Language Models.
.- Large Language Models in Code Co-generation for Safe Autonomous Vehicles.
.-Balancing the Risks and Benefits of using Large Language Models to Support Assurance Case Development.
.- Exploring the Potential of LSTM On Emulating Multiple-bit Fault Injection in SRAM-FPGA.