| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A Fail-safe Comparator for Analogous Signals within Computer Control Systems
|
Schildt, G.H.
|
|
1979
|
12 |
1 |
p. 187-193
7 p.
|
artikel
|
| 2 |
An Experience in Design and Validation of Software for a Reactor Protection System
|
Bologna, S.
|
|
1979
|
12 |
1 |
p. 103-115
13 p.
|
artikel
|
| 3 |
An Investigation of Methods for Production and Verification of Highly Reliable Software
|
Dahll, G.
|
|
1979
|
12 |
1 |
p. 89-94
6 p.
|
artikel
|
| 4 |
A Process Computer for Experimental Use
|
Holt, H.
|
|
1979
|
12 |
1 |
p. 139-147
9 p.
|
artikel
|
| 5 |
A Survey of Methods for the Validation of Safety Related Software
|
Voges, U.
|
|
1979
|
12 |
1 |
p. 95-102
8 p.
|
artikel
|
| 6 |
Author Index
|
|
|
1979
|
12 |
1 |
p. 219-
1 p.
|
artikel
|
| 7 |
Communication Protocols for the PDV Bus in Network Representation
|
Grams, T.
|
|
1979
|
12 |
1 |
p. 65-74
10 p.
|
artikel
|
| 8 |
Control of Nuclear Reaction by Pattern Recognition Methods
|
Dubuisson, B.
|
|
1979
|
12 |
1 |
p. 149-152
4 p.
|
artikel
|
| 9 |
Experience with a Specification Language in the Dual Development of Safety System Software
|
So, H.
|
|
1979
|
12 |
1 |
p. 161-167
7 p.
|
artikel
|
| 10 |
Experience with Computers on Some UK Power Plants
|
Daniels, B.K.
|
|
1979
|
12 |
1 |
p. 11-32
22 p.
|
artikel
|
| 11 |
Failure Detection in Microcomputer Systems
|
Courtois, B.
|
|
1979
|
12 |
1 |
p. 195-200
6 p.
|
artikel
|
| 12 |
Functional Redundancy to Achieve High Reliability
|
Gilbert, M.H.
|
|
1979
|
12 |
1 |
p. 59-64
6 p.
|
artikel
|
| 13 |
Graphs of Data Flow Dependencies
|
Puhr-Westerheide, P.
|
|
1979
|
12 |
1 |
p. 117-127
11 p.
|
artikel
|
| 14 |
Guidelines for the Documentation of Safety Related Computer Systems
|
Levene, A.A.
|
|
1979
|
12 |
1 |
p. 33-39
7 p.
|
artikel
|
| 15 |
Inspection of Process Computers for Nuclear Power Plants
|
Glöe, G.
|
|
1979
|
12 |
1 |
p. 213-218
6 p.
|
artikel
|
| 16 |
Introduction into the Subject of the Workshop
|
Lauber, R.
|
|
1979
|
12 |
1 |
p. 1-2
2 p.
|
artikel
|
| 17 |
On a Diversified Parallel Microcomputer System
|
Konakovsky, R.
|
|
1979
|
12 |
1 |
p. 81-88
8 p.
|
artikel
|
| 18 |
Optimisation of a Servosystem
|
Adjarov, T.
|
|
1979
|
12 |
1 |
p. 207-211
5 p.
|
artikel
|
| 19 |
Overview of Hardware-related Safety Problems of Computer Control Systems
|
Schwier, W.
|
|
1979
|
12 |
1 |
p. 169-177
9 p.
|
artikel
|
| 20 |
Preface
|
Lauber, R.
|
|
1979
|
12 |
1 |
p. ix-
1 p.
|
artikel
|
| 21 |
Safety and Reliability - Their Terms and Models of Complex Systems
|
Frey, H.H.
|
|
1979
|
12 |
1 |
p. 3-10
8 p.
|
artikel
|
| 22 |
Safety Considerations in Project Management of Computerized Automation Systems
|
Trauboth, H.
|
|
1979
|
12 |
1 |
p. 41-50
10 p.
|
artikel
|
| 23 |
Safety Program Validation by Means of Control Checking
|
Ehrenberger, W.
|
|
1979
|
12 |
1 |
p. 129-137
9 p.
|
artikel
|
| 24 |
Software Diversity in Reactor Protection Systems: An Experment
|
Gmeiner, L.
|
|
1979
|
12 |
1 |
p. 75-79
5 p.
|
artikel
|
| 25 |
Specification, Design and Implementation of Computer-based Reactor Safety Sytems
|
Cooper, M.J.
|
|
1979
|
12 |
1 |
p. 153-160
8 p.
|
artikel
|
| 26 |
Standards for the Production of High Quality Systems
|
Mullery, G.P.
|
|
1979
|
12 |
1 |
p. 51-58
8 p.
|
artikel
|
| 27 |
Test Policy vs Maintenance Policy and System Reliability
|
Pau, L.F.
|
|
1979
|
12 |
1 |
p. 201-206
6 p.
|
artikel
|
| 28 |
The Combined Role of Redundancy and Test Programs in Improving Fault Tolerance and Failure Detection
|
Schüller, H.
|
|
1979
|
12 |
1 |
p. 179-185
7 p.
|
artikel
|
Tijdschrift beschrijving