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
X-ray diffraction study of the phase purity, order and texture of ductile B2 intermetallics
Acta materialia, 2010-04, Vol.58 (7), p.2788-2796
2010
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Background-free search for neutrinoless double-β decay of 76 Ge with GERDA
Nature (London), 2017-04, Vol.544 (7648), p.47
2017
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Human coagulation factor FVIIa (recombinant) in the management of limb-threatening bleeds unresponsive to alternative therapies: results from the NovoSeven emergency-use programme in patients with severe haemophilia or with acquired inhibitors
Blood coagulation & fibrinolysis, 2000-04, Vol.11 (3), p.255
2000
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Software Architecture for Big Data and the Cloud
1, 2017
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
The use of implantable venous access devices (IVADs) in children with hemophilia
Journal of pediatric hematology/oncology, 1997-07, Vol.19 (4), p.339-344
1997
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
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
An Empirical Exploration of the Difficulty Function
Computer Safety, Reliability, and Security, 2004, p.60-71
2004
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
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
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
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
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
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 438
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen
Nur zeigen
Publikationsform
1 weiteren anzeigen...
Weniger anzeigen...
Sprache
Erscheinungsjahr
n.n
n.n
Thema
15 weitere anzeigen...
Weniger anzeigen...
Kollektion
15 weitere anzeigen...
Weniger anzeigen...
Zeitschrift / Serie
5 weitere anzeigen...
Weniger anzeigen...
Neu hinzugefügt