| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A Dynamic System Architecture for Safety Related Systems
|
Quirk, W.J.
|
|
1985
|
18 |
12 |
p. 7-12
6 p.
|
artikel
|
| 2 |
A Soft Control Desk for Power Generation
|
Usher, D.M.
|
|
1985
|
18 |
12 |
p. 25-30
6 p.
|
artikel
|
| 3 |
A Tool For Specification Analysis: "Complete" Decision Tables
|
Traverso, A.M.
|
|
1985
|
18 |
12 |
p. 53-56
4 p.
|
artikel
|
| 4 |
Author Index
|
|
|
1985
|
18 |
12 |
p. 179-
1 p.
|
artikel
|
| 5 |
Broadcast Remote Procedure Calls for Resilient Computation
|
Aschmann, H.R.
|
|
1985
|
18 |
12 |
p. 109-115
7 p.
|
artikel
|
| 6 |
Computer Aided Design for Reliability Assessment, A Package Specification
|
Featherstone, A.M.
|
|
1985
|
18 |
12 |
p. 73-77
5 p.
|
artikel
|
| 7 |
Correlated Failures in Multi-Version Software 1
|
Knight, J.C.
|
|
1985
|
18 |
12 |
p. 159-165
7 p.
|
artikel
|
| 8 |
Design of a Self-Checking Microprocessor for Real-Time Applications
|
Osseiran, A.
|
|
1985
|
18 |
12 |
p. 95-99
5 p.
|
artikel
|
| 9 |
Design Verification for (Safety-Related) Software Systems
|
Baur, P.
|
|
1985
|
18 |
12 |
p. 31-37
7 p.
|
artikel
|
| 10 |
Fault Handling Capabilities in Bus Architectures
|
Pauker, M.
|
|
1985
|
18 |
12 |
p. 101-107
7 p.
|
artikel
|
| 11 |
Fault Tolerant Software Techniques for a Railway Electronic Interlocking Device
|
Ruello, I.
|
|
1985
|
18 |
12 |
p. 147-151
5 p.
|
artikel
|
| 12 |
Fuzzy Based Safety System as a Part of Computer Control Software
|
Vaija, P.
|
|
1985
|
18 |
12 |
p. 123-127
5 p.
|
artikel
|
| 13 |
Modelling the Effect of Transient Faults in Fault Tolerant Computer Systems
|
Yak, Y.W.
|
|
1985
|
18 |
12 |
p. 129-133
5 p.
|
artikel
|
| 14 |
On Some New Reliability Importance Measures
|
Bergman, B.
|
|
1985
|
18 |
12 |
p. 61-64
4 p.
|
artikel
|
| 15 |
Preface
|
Quirk, W.J.
|
|
1985
|
18 |
12 |
p. vii-
1 p.
|
artikel
|
| 16 |
Project on Diverse Software — An Experiment in Software Reliability
|
Bishop, P.
|
|
1985
|
18 |
12 |
p. 153-158
6 p.
|
artikel
|
| 17 |
Real-Time Systems with Highly Reliable Storage Media: A Case Study
|
La Manna, M.
|
|
1985
|
18 |
12 |
p. 79-83
5 p.
|
artikel
|
| 18 |
Reliability and Integrity of Computer Assisted Decision Making Process
|
Hashim, M.
|
|
1985
|
18 |
12 |
p. 21-24
4 p.
|
artikel
|
| 19 |
Reliability Evaluation of a Safety Related Operating System
|
Ehrenberger, W.
|
|
1985
|
18 |
12 |
p. 65-71
7 p.
|
artikel
|
| 20 |
Reliability Versus Safety
|
Mulazzani, M.
|
|
1985
|
18 |
12 |
p. 141-146
6 p.
|
artikel
|
| 21 |
Requirements and Design for a Distributed Computerized System for Safety and Control Applications
|
Bagnasco, S.
|
|
1985
|
18 |
12 |
p. 85-93
9 p.
|
artikel
|
| 22 |
Safety Integrity Assessment of Robot Systems
|
Khodabandehloo, K.
|
|
1985
|
18 |
12 |
p. 13-20
8 p.
|
artikel
|
| 23 |
Software Fault-Tolerance and Design Diversity: Past Experience and Future Evolution
|
Strigini, L.
|
|
1985
|
18 |
12 |
p. 167-172
6 p.
|
artikel
|
| 24 |
Software Fault-Tolerance by Design Diversity Dedix: A Tool for Experiments
|
Avižienis, A.
|
|
1985
|
18 |
12 |
p. 173-178
6 p.
|
artikel
|
| 25 |
Software Tools as an Aid for Hardware and Software Reliability Analysis
|
Benejean, R.
|
|
1985
|
18 |
12 |
p. 57-60
4 p.
|
artikel
|
| 26 |
Specification and Design of Reliable Systems in Terms of Unreliable Components
|
Górski, J.
|
|
1985
|
18 |
12 |
p. 135-140
6 p.
|
artikel
|
| 27 |
Stable Paths for an Efficient Recovery in Real-Time Distributed Systems
|
Mancini, P.
|
|
1985
|
18 |
12 |
p. 117-121
5 p.
|
artikel
|
| 28 |
Structuring Processes as a Sequence of Nested Atomic Actions
|
Baiardi, F.
|
|
1985
|
18 |
12 |
p. 1-6
6 p.
|
artikel
|
| 29 |
Subject Index
|
|
|
1985
|
18 |
12 |
p. 181-
1 p.
|
artikel
|
| 30 |
Validation of a Computerized Operator Support System
|
Fukutomi, S.
|
|
1985
|
18 |
12 |
p. 47-52
6 p.
|
artikel
|
| 31 |
Verification and Validation Program for a Distributed Computer System for Safety Application
|
Rao, D.M.
|
|
1985
|
18 |
12 |
p. 39-46
8 p.
|
artikel
|
Tijdschrift beschrijving