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
Software Architecture for Big Data and the Cloud
1, 2017
Volltextzugriff (PDF)
    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
An Approach for Model-Based Risk Assessment
Computer Safety, Reliability, and Security, 2004, p.311-324
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
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
Adding Features to Component-Based Systems
Lecture notes in computer science, 2004, p.137-153
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
A Security Engineering Process based on Patterns
18th International Workshop on Database and Expert Systems Applications (DEXA 2007), 2007, p.734-738
2007
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
Modeling Safety-Critical Systems with Z and Petri Nets
Computer Safety, Reliability and Security, 1999, p.361-374
1999
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)
1 – 25 von 60
Suche als RSS-Feed
Aktive Filter
ThemaBiological And Medical Sciences
ThemaMiddle Aged
ThemaComputer Science, Theory & Methods
Suchergebnisse filtern
Filter anzeigen