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: 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings
2005th edition, 2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Generalising Event Trees Using Bayesian Networks with a Case Study of Train Derailment
Computer Safety, Reliability, and Security, 2005, p.52-66
1ère éd, 2005
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier
Computer Safety, Reliability, and Security, 2005, p.122-135
1ère éd, 2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Combining disparate sources of information in the safety assessment of software-based systems
Nuclear engineering and design, 2000-02, Vol.195 (3), p.307-319
2000
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Automatic Code Generation for PLC Controllers
Computer Safety, Reliability, and Security, 2005, p.303-316
1ère éd, 2005
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
Safety Interfaces for Component-Based Systems
Computer Safety, Reliability, and Security, 2005, p.246-260
1ère éd, 2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Using Safety Critical Artificial Neural Networks in Gas Turbine Aero-Engine Control
Computer Safety, Reliability, and Security, 2005, p.136-150
1ère éd, 2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Control and Data Flow Testing on Function Block Diagrams
Computer Safety, Reliability, and Security, 2005, p.67-80
1ère éd, 2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Evolutionary Safety Analysis: Motivations from the Air Traffic Management Domain
Computer Safety, Reliability, and Security, 2005, p.208-221
1ère éd, 2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Justification of Smart Sensors for Nuclear Applications
Computer Safety, Reliability, and Security, 2005, p.194-207
1ère éd, 2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Finding Upper Bounds for Software Failure Probabilities – Experiments and Results
Computer Safety, Reliability, and Security, 2005, p.179-193
1ère éd, 2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Are High-Level Languages Suitable for Robust Telecoms Software?
Computer Safety, Reliability, and Security, 2005, p.275-288
1ère éd, 2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Towards a Cyber Security Reporting System – A Quality Improvement Process
Computer Safety, Reliability, and Security, 2005, p.368-380
1ère éd, 2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Safety Evaluation of a Train Leader Telephone System
Computer Safety, Reliability and Security, 1999, p.46-57
1999
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
CMMI RAMS Extension Based on CENELEC Railway Standard
Computer Safety, Reliability, and Security, 2005, p.1-12
1ère éd, 2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Public-Key Cryptography and Availability
Computer Safety, Reliability, and Security, 2005, p.222-232
1ère éd, 2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
A Safety-Related PES for Task-Oriented Real-Time Execution Without Asynchronous Interrupts
Computer Safety, Reliability, and Security, 2005, p.261-274
1ère éd, 2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Security Research from a Multi-disciplinary and Multi-sectoral Perspective
Computer Safety, Reliability, and Security, 2005, p.381-389
1ère éd, 2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Functional Apportioning of Safety Requirements on Railway Signalling Systems
Computer Safety, Reliability, and Security, 2005, p.289-302
1ère éd, 2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
The Application of an Object-Oriented Method in Information System Security Evaluation
Computer Safety, Reliability, and Security, 2005, p.357-367
1ère éd, 2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
The Importance of Single-Source Engineering of Emergency and Process Shutdown Systems
Computer Safety, Reliability, and Security, 2005, p.13-23
1ère éd, 2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
A Formal Model for Fault-Tolerance in Distributed Systems
Computer Safety, Reliability, and Security, 2005, p.108-121
1ère éd, 2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Comparing Software Measures with Fault Counts Derived from Unit-Testing of Safety-Critical Software
Computer Safety, Reliability, and Security, 2005, p.81-93
1ère éd, 2005
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
The TACO Approach for Traceability and Communication of Requirements
Computer Safety, Reliability, and Security, 2005, p.317-329
1ère éd, 2005
Volltextzugriff (PDF)
1 – 25 von 40
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen