1–20 of 30 hits
Sort by:
Sort by:
-
A Technique for Fault Tolerance Assessment of COTS Based Systems
British Library Conference Proceedings | 2005| -
Combining Extended UML Models and Formal Methods to Analyze Real-Time Systems
British Library Conference Proceedings | 2005| -
Towards a Cyber Security Reporting System - A Quality Improvement Process
British Library Conference Proceedings | 2005| -
Finding Upper Bounds for Software Failure Probabilities - Experiments and Results
British Library Conference Proceedings | 2005| -
Control and Data Flow Testing on Function Block Diagrams
British Library Conference Proceedings | 2005| -
Problem Frames and Architectures for Security Problems
British Library Conference Proceedings | 2005| -
End-To-End Worst-Case Response Time Analysis for Hard Real-Time Distributed Systems
British Library Conference Proceedings | 2005| -
Justification of Smart Sensors for Nuclear Applications
British Library Conference Proceedings | 2005| -
A Formal Model for Fault-Tolerance in Distributed Systems
British Library Conference Proceedings | 2005| -
CMMI RAMS Extension Based on CENELEC Railway Standard
British Library Conference Proceedings | 2005| -
The Application of an Object-Oriented Method in Information System Security Evaluation
British Library Conference Proceedings | 2005| -
The Importance of Single-Source Engineering of Emergency and Process Shutdown Systems
British Library Conference Proceedings | 2005| -
Comparing Software Measures with Fault Counts Derived from Unit-Testing of Safety-Critical Software
British Library Conference Proceedings | 2005| -
Are High-Level Languages Suitable for Robust Telecoms Software?
British Library Conference Proceedings | 2005| -
A Safety-Related PES for Task-Oriented Real-Time Execution Without Asynchronous Interrupts
British Library Conference Proceedings | 2005| -
An IEC 62061 Compliant Safety System Design Method for Machinery
British Library Conference Proceedings | 2005|
Send my search to (beta)
Send your search query (search terms without filters) to other databases, portals and catalogues to find more interesting hits.
Dimensions:
full data search
or
title and abstract search
Dimensions is a database for abstracts and citations that links information on research funding with the resulting publications, studies and patents.
TIB AV portal
In the TIB AV-Portal, audiovisual media from science and teaching can be foundand own scientific videos can be published.
Specialised Information Service for Mobility and Transport Research (FID move)
Open Research Knowledge Graph (ORKG)
The FID move can be used to search for subject-specific literature, research data and other information from mobility and transport research.
The Open Research Knowledge Graph provides structured descriptions of research content and makes it comparable.
Common Union Catalogue (GVK)
Freely accessible part of the collaborative K10plus catalogue with materials relevant for interlibrary loan and direct delivery services.