Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...
    Datensatz exportieren als...
  • BibTeX
Computer Safety, Reliability, and Security: 43rd International Conference, SAFECOMP 2024, Florence, Italy, September 18-20, 2024, Proceedings
2024th edition, 2024
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops: DECSoS, SASSUR, TOASTS, and WAISE, Florence, Italy, September 17, 2024, Proceedings
2024th edition, 2024
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Safety Argumentation for Machinery Assembly Control Software
Computer Safety, Reliability, and Security, 2024, p.251-266
2024
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
TitanSSL: Towards Accelerating OpenSSL in a Full RISC-V Architecture Using OpenTitan Root-of-Trust
Computer Safety, Reliability, and Security, 2024, Vol.14988
2024
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Fault Injection and Tolerance
Computer Safety, Reliability, and Security, 2024, Vol.14988
2024
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
A Lightweight and Responsive On-Line IDS Towards Intelligent Connected Vehicles System
Computer Safety, Reliability, and Security, 2024, Vol.14988
2024
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
In-Memory Zero-Space Floating-Point-Based CNN Protection Using Non-significant and Invariant Bits
Computer Safety, Reliability, and Security, 2024, Vol.14988
2024
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Safety Invariant Engineering for Interlocking Verification
Computer Safety, Reliability, and Security, 2024, Vol.14988
2024
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Intro
Computer Safety, Reliability, and Security, 2024, Vol.14988
2024
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Sound Non-interference Analysis for C/C++
Computer Safety, Reliability, and Security, 2024, Vol.14988
2024
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Redefining Safety for Autonomous Vehicles
Computer Safety, Reliability, and Security, 2024, Vol.14988
2024
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Security of Safety-Critical Systems
Computer Safety, Reliability, and Security, 2024, Vol.14988
2024
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Safety-Security Analysis via Attack-Fault-Defense Trees: Semantics and Cut Set Metrics
Computer Safety, Reliability, and Security, 2024, Vol.14988
2024
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Coyan: Fault Tree Analysis – Exact and Scalable
Computer Safety, Reliability, and Security, 2024, Vol.14988
2024
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Evaluating the Vulnerability Detection Efficacy of Smart Contracts Analysis Tools
Computer Safety, Reliability, and Security, 2024, Vol.14988
2024
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Comprehensive Change Impact Analysis Applied to Advanced Automotive Systems
Computer Safety, Reliability, and Security, 2024, Vol.14988
2024
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Assurance Case Synthesis from a Curated Semantic Triplestore
Computer Safety, Reliability, and Security, 2024, Vol.14988
2024
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
CyberDS: Auditable Monitoring in the Cloud
Computer Safety, Reliability, and Security, 2024, Vol.14988
2024
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Organization
Computer Safety, Reliability, and Security, 2024, Vol.14988
2024
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
A Failure Model Library for Simulation-Based Validation of Functional Safety
Computer Safety, Reliability, and Security, 2024, Vol.14988
2024
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Automated Driving Systems
Computer Safety, Reliability, and Security, 2024, Vol.14988
2024
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Autonomous Systems
Computer Safety, Reliability, and Security, 2024, Vol.14988
2024
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Reconciling Safety Measurement and Dynamic Assurance
Computer Safety, Reliability, and Security, 2024, Vol.14988
2024
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Strategic Resilience Evaluation of Neural Networks Within Autonomous Vehicle Software
Computer Safety, Reliability, and Security, 2024, Vol.14988
2024
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Anatomy of a Robotaxi Crash: Lessons from the Cruise Pedestrian Dragging Mishap
Computer Safety, Reliability, and Security, 2024, Vol.14988
2024
Volltextzugriff (PDF)
1 – 25 von 86
Suche als RSS-Feed
Aktive Filter
Neu hinzugefügt... seit 90 Tagen
Suchergebnisse filtern
Filter anzeigen