Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
 
Zoeken naar met titel:
ABCDEFGHIJKLMNOPQRSTUVWXYZ

     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             38 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A High Integrity Software Based Turbine Governing System Higgs, J.C.
 1983
 16 18 p. 207-218
12 p.
 artikel
2 A Highly Available Multimicroprocessor System for Real-Time Applications Ciompi, P.
 1983
 16 18 p. 247-253
7 p.
 artikel
3 A Language for Formal Description of Real Time Systems Boussinot, F.
 1983
 16 18 p. 119-126
8 p.
 artikel
4 Application of Finite State Models for System Design and Reliability Assessment Bloomfield, R.E.
 1983
 16 18 p. 23-28
6 p.
 artikel
5 A Practical Methodology for Safety Software Development, Verification & Validation Galanti Occulti, R.
 1983
 16 18 p. 195-196
2 p.
 artikel
6 Author Index 1983
 16 18 p. 269-
1 p.
 artikel
7 Building Reliable Software for Spacelab Robinson, P.J.
 1983
 16 18 p. 153-158
6 p.
 artikel
8 Coordinated Control of Electrical Drives Keresztély, S.
 1983
 16 18 p. 219-223
5 p.
 artikel
9 Electromagnetic Compatibility of Marine Computer System Templin, H.
 1983
 16 18 p. 227-231
5 p.
 artikel
10 Evaluation of a Back-Up Activation Mechanism to Achieve Fail-Safe Operation in Distributed Multiprocess Systems Pamies, J.F.
 1983
 16 18 p. 239-245
7 p.
 artikel
11 Experience with the Installation of Software Quality Assurance in Small Embedded-Computer Projects Jenkins, D.G.
 1983
 16 18 p. 225-
1 p.
 artikel
12 Fail-Safe Computer-Based Plant Protection Systems Keats, A.B.
 1983
 16 18 p. 83-94
12 p.
 artikel
13 Fault-Avoidance and Fault-Removal Features of the Computer-Aided Development and Support System: EPOS Baur, P.
 1983
 16 18 p. 103-110
8 p.
 artikel
14 Fault Detection and Recovery Techniques in CUTLASS Bishop, P.G.
 1983
 16 18 p. 101-
1 p.
 artikel
15 Incorporation of Recovery and Repair Time in the Reliability Modelling of Fault-Tolerant System Yak, Y.W.
 1983
 16 18 p. 45-52
8 p.
 artikel
16 MINOS: Systems Reliability and Reuseable Software Perkin, R.M.G.
 1983
 16 18 p. 197-200
4 p.
 artikel
17 Modular Encapsulations Communicating between Clean Interfaces and the Unavoidable Overhead Hicks, R.C.J.
 1983
 16 18 p. 37-43
7 p.
 artikel
18 PLC's into Offshore Shut-Down Systems Chamoux, P.
 1983
 16 18 p. 201-206
6 p.
 artikel
19 Practical Fault Tolerant Software for Asynchronous Systems Campbell, R.H.
 1983
 16 18 p. 59-65
7 p.
 artikel
20 Preface Baylis, John A.
 1983
 16 18 p. vii-
1 p.
 artikel
21 Quality of the Software Development Process Frühauf, K.
 1983
 16 18 p. 145-152
8 p.
 artikel
22 REBECCA: A Dependable Communication Support System for a Distributed Monitoring and Safety System Blanquart, J.P.
 1983
 16 18 p. 261-268
8 p.
 artikel
23 Reliability Analysis (Hardware) of a Core Temperature Safety System Siciliano, V.
 1983
 16 18 p. 13-21
9 p.
 artikel
24 Reliability Prediction: A Matter of Logic Harris, L.N.
 1983
 16 18 p. 29-35
7 p.
 artikel
25 Safety Assessment of the Software of a Control Rod Motion Computer Glöe, G.
 1983
 16 18 p. 175-182
8 p.
 artikel
26 Safety Integrity Assessment of Programmable Electronic Systems Daniels, B.K.
 1983
 16 18 p. 1-12
12 p.
 artikel
27 Software for Computers in the Safety Systems of Nuclear Power Plants Gallagher, J.Μ.
 1983
 16 18 p. 159-165
7 p.
 artikel
28 Software Quality – A Practical Approach Thomas, N.C.
 1983
 16 18 p. 137-143
7 p.
 artikel
29 Software Quality Control and Assurance Dobbins, J.A.
 1983
 16 18 p. 127-136
10 p.
 artikel
30 Software Security Analysis – A Short Appreciation Steed, J.W.
 1983
 16 18 p. 53-58
6 p.
 artikel
31 Software Validation for a Railway Signalling System Short, R.C.
 1983
 16 18 p. 183-193
11 p.
 artikel
32 The ADNET Communications System: Inter-Process Communication in a Fault Tolerant Local Area Network Lakin, W.L.
 1983
 16 18 p. 233-238
6 p.
 artikel
33 The Application of Fault Tolerant Techniques to a Real Time System Jackson, P.R.
 1983
 16 18 p. 75-82
8 p.
 artikel
34 The Impact of Software Fault Tolerant Techniques on Software Complexity in Real Time Systems Lew, K.S.
 1983
 16 18 p. 67-73
7 p.
 artikel
35 The Man-Machine Interface for a Fault Tolerant Control System Wensley, J.H.
 1983
 16 18 p. 95-99
5 p.
 artikel
36 The Specification System X-SPEX – Introduction and Experience Dahll, G.
 1983
 16 18 p. 111-118
8 p.
 artikel
37 TREX/MCS: A Fault Tolerant Multicomputer System Matsumoto, Y.
 1983
 16 18 p. 255-260
6 p.
 artikel
38 Verification of Safety Leveson, N.G.
 1983
 16 18 p. 167-174
8 p.
 artikel
                             38 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland