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
Problem Frames and Architectures for Security Problems
Computer Safety, Reliability, and Security, 2005, p.390-404
1ère éd, 2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Compositional Hazard Analysis of UML Component and Deployment Models
Computer Safety, Reliability, and Security, 2004, p.166-179
2004
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Safety requirements and fault trees using retrenchment
Lecture notes in computer science, 2004, p.210-223
2004
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Dependability Benchmarking of Web-Servers
Computer Safety, Reliability, and Security, 2004, p.297-310
2004
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
An Approach for Model-Based Risk Assessment
Computer Safety, Reliability, and Security, 2004, p.311-324
2004
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
State-Event-Fault-Trees – A Safety Analysis Model for Software Controlled Systems
Computer Safety, Reliability, and Security, 2004, p.195-209
2004
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Analysing Mode Confusion: An Approach Using FDR2
Computer Safety, Reliability, and Security, 2004, p.101-114
2004
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
A Hybrid Testing Methodology for Railway Control Systems
Computer Safety, Reliability, and Security, 2004, p.116-129
2004
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Using Formal Methods in a Retrospective Safety Case
Computer Safety, Reliability, and Security, 2004, p.31-44
2004
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Refinement of Fault Tolerant Control Systems in B
Computer Safety, Reliability, and Security, 2004, p.254-268
2004
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Actuator Based Hazard Analysis for Safety Critical Systems
Computer Safety, Reliability, and Security, 2004, p.130-141
2004
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth
Computer Safety, Reliability, and Security, 2004, p.283-296
2004
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Use of Patterns in Formal Development: Systematic Transition from Problems to Architectural Designs
Lecture notes in computer science, 2003, p.201-215
2003
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Using Fuzzy Self-Organising Maps for Safety Critical Systems
Computer Safety, Reliability, and Security, 2004, p.17-30
2004
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
An Empirical Exploration of the Difficulty Function
Computer Safety, Reliability, and Security, 2004, p.60-71
2004
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
The Deconstruction of Safety Arguments Through Adversarial Counter-Argument
Computer Safety, Reliability, and Security, 2004, p.3-16
2004
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
The Effects on Reliability of Integration of Aircraft Systems Based on Integrated Modular Avionics
Computer Safety, Reliability, and Security, 2004, p.224-238
2004
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Towards the Integration of Fault, Resource, and Power Management
Computer Safety, Reliability, and Security, 2004, p.72-86
2004
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Numerical Integration of PDEs for Safety Critical Applications Implemented by I&C Systems
Computer Safety, Reliability, and Security, 2004, p.269-282
2004
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Performability Measures of the Public Mobile Network of a Tele Control System
Computer Safety, Reliability, and Security, 2004, p.142-154
2004
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Handling Safety Critical Requirements in System Engineering Using the B Formal Method
Computer Safety, Reliability, and Security, 2004, p.115-115
2004
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Modeling Concepts for Safety-Related Requirements in Sociotechnical Systems
Computer Safety, Reliability, and Security, 2004, p.87-100
2004
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Modular Formal Analysis of the Central Guardian in the Time-Triggered Architecture
Computer Safety, Reliability, and Security, 2004, p.240-253
2004
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Automatic Test Data Generation from Embedded C Code
Computer Safety, Reliability, and Security, 2004, p.180-194
2004
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
A Highly Fault Detectable Cache Architecture for Dependable Computing
Computer Safety, Reliability, and Security, 2004, p.45-59
2004
Volltextzugriff (PDF)
1 – 25 von 36
Suche als RSS-Feed
Aktive Filter
Zeitschrift / SerieJournal Of Plant Physiology
ThemaSoftware
ThemaTechnology
Suchergebnisse filtern
Filter anzeigen