| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
An Outline of a Program to Enhance Software Safety
|
Leveson, N.G.
|
|
1986
|
19 |
11 |
p. 129-135
7 p.
|
article
|
| 2 |
A Proposal for Distributed Commitment and Abort of Multi-Site Transactions in a Multi-Microprocessor System
|
Ancilotti, P.
|
|
1986
|
19 |
11 |
p. 63-66
4 p.
|
article
|
| 3 |
A Recovery Block Model and Its Analysis
|
Cha, Sung D.
|
|
1986
|
19 |
11 |
p. 21-26
6 p.
|
article
|
| 4 |
A Robust Database For Safe Real-Time Systems
|
La Manna, M.
|
|
1986
|
19 |
11 |
p. 67-72
6 p.
|
article
|
| 5 |
Author Index
|
|
|
1986
|
19 |
11 |
p. 191-
1 p.
|
article
|
| 6 |
Basic Qualification Concepts For Instrumentation And Control Systems
|
Monaco, F.A.
|
|
1986
|
19 |
11 |
p. 185-190
6 p.
|
article
|
| 7 |
Data Base Coherence: Lrc Language Commutative Convergence
|
Hery, J.-F.
|
|
1986
|
19 |
11 |
p. 107-115
9 p.
|
article
|
| 8 |
Dependability Prediction: Comparison of Tools and Techniques
|
Mulazzani, M.
|
|
1986
|
19 |
11 |
p. 171-178
8 p.
|
article
|
| 9 |
Design For Safety Using Temporal Logic
|
Gorski, J.
|
|
1986
|
19 |
11 |
p. 149-155
7 p.
|
article
|
| 10 |
Engineering Software Safety
|
Quirk, W.J.
|
|
1986
|
19 |
11 |
p. 143-147
5 p.
|
article
|
| 11 |
Error Recovery in Multi-Version Software
|
Tso, K.S.
|
|
1986
|
19 |
11 |
p. 35-41
7 p.
|
article
|
| 12 |
Fault Detection Using Inverse Transfer Characteristic Software
|
Cummins, J.D.
|
|
1986
|
19 |
11 |
p. 73-81
9 p.
|
article
|
| 13 |
High Reliability Features Built in the VSB BUS
|
Pauker, M.
|
|
1986
|
19 |
11 |
p. 89-92
4 p.
|
article
|
| 14 |
Modelling and Dependability Evaluation of Safety Systems in Control and Monitoring Applications
|
Arlat, J.
|
|
1986
|
19 |
11 |
p. 157-164
8 p.
|
article
|
| 15 |
Modelling System Quality
|
Kaposi, A.A.
|
|
1986
|
19 |
11 |
p. 13-15
3 p.
|
article
|
| 16 |
Modelling the Real Issues in Dependable Communications Systems
|
Dobson, J.E.
|
|
1986
|
19 |
11 |
p. 123-127
5 p.
|
article
|
| 17 |
Multi-Version Software Development
|
Kelly, J.P.J.
|
|
1986
|
19 |
11 |
p. 43-49
7 p.
|
article
|
| 18 |
Preface
|
Quirk, W.J.
|
|
1986
|
19 |
11 |
p. vi-
1 p.
|
article
|
| 19 |
Programmable Electronic Systems Safety: Standards And Principles—An Industrial Viewpoint
|
Nunns, S.R.
|
|
1986
|
19 |
11 |
p. 17-20
4 p.
|
article
|
| 20 |
Protection of Shared Resources
|
Malabocchia, F.
|
|
1986
|
19 |
11 |
p. 57-61
5 p.
|
article
|
| 21 |
Quantitative Assessment of Safe and Reliable Software
|
Runge, B.
|
|
1986
|
19 |
11 |
p. 7-11
5 p.
|
article
|
| 22 |
RDPS: A Software Package for the Validation and Evaluation of Dependable Computer Systems
|
Florin, G.
|
|
1986
|
19 |
11 |
p. 165-170
6 p.
|
article
|
| 23 |
Requirements Modelling of Industrial Real-Time Systems by Automata and Structured Analysis
|
Roan, A.
|
|
1986
|
19 |
11 |
p. 137-142
6 p.
|
article
|
| 24 |
Safe and Reliable Computing on Board the Airbus and ATR Aircraft
|
Rouquet, J.C.
|
|
1986
|
19 |
11 |
p. 93-97
5 p.
|
article
|
| 25 |
Self-Checking Circuits: From Theory to Practice
|
Nicolaidis, M.
|
|
1986
|
19 |
11 |
p. 83-88
6 p.
|
article
|
| 26 |
Software Diversity—Some Considerations About its Benefits and its Limitations
|
Saglietti, F.
|
|
1986
|
19 |
11 |
p. 27-34
8 p.
|
article
|
| 27 |
Some Thoughts On Software Quality Assurance
|
Frühauf, K.
|
|
1986
|
19 |
11 |
p. 1-6
6 p.
|
article
|
| 28 |
Subject Index
|
|
|
1986
|
19 |
11 |
p. 193-
1 p.
|
article
|
| 29 |
Testing Strategies and Testing Environment for Reactor Safety System Software
|
Bologna, S.
|
|
1986
|
19 |
11 |
p. 179-184
6 p.
|
article
|
| 30 |
The Join Algorithm: Ordering Messages in Replicated Systems
|
Mancini, L.
|
|
1986
|
19 |
11 |
p. 51-55
5 p.
|
article
|
| 31 |
Toward Fault-Tolerant User Interfaces
|
Maxion, R.A.
|
|
1986
|
19 |
11 |
p. 117-122
6 p.
|
article
|
| 32 |
Using AI-Methods to Improve Software Safety
|
Theuretzbacher, N.
|
|
1986
|
19 |
11 |
p. 99-105
7 p.
|
article
|
Journal description