| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A Complexity Measure for Data-flow Languages Programs
|
Chevalier, M.
|
|
1989
|
22 |
19 |
p. 117-121
5 p.
|
artikel
|
| 2 |
An Effective Strategy and Automation Concepts for Systematic Testing of Safety Related Software
|
Grimm, K.
|
|
1989
|
22 |
19 |
p. 71-79
9 p.
|
artikel
|
| 3 |
An Efficient Algorithm for Online Testing Random Access Memories in Safety Related Computer Systems
|
Kloppenburg, T.
|
|
1989
|
22 |
19 |
p. 85-89
5 p.
|
artikel
|
| 4 |
Author Index
|
|
|
1989
|
22 |
19 |
p. 147-
1 p.
|
artikel
|
| 5 |
Computer Aided Reliability Calculation of Complex Computer Architectures Via Transfer Matrices
|
Sachs, P.
|
|
1989
|
22 |
19 |
p. 103-107
5 p.
|
artikel
|
| 6 |
Computer System Development: Problems Experiencd in the Use of Incremental Delivery
|
Redmill, F.J.
|
|
1989
|
22 |
19 |
p. 25-32
8 p.
|
artikel
|
| 7 |
Deriving Safety Monitors from Formal Specifications
|
Górski, J.
|
|
1989
|
22 |
19 |
p. 123-128
6 p.
|
artikel
|
| 8 |
Electronic Business and Banking — Which Security Aspects do Matter?
|
Jaburek, W.J.
|
|
1989
|
22 |
19 |
p. 7-11
5 p.
|
artikel
|
| 9 |
Fault Tolerant DMR Miroprocessor System
|
Sosnowski, J.
|
|
1989
|
22 |
19 |
p. 141-146
6 p.
|
artikel
|
| 10 |
Formal Specification of the Software for a Reactor Safety System
|
Voges, U.
|
|
1989
|
22 |
19 |
p. 33-40
8 p.
|
artikel
|
| 11 |
ISO 9001 for Development and Licensing of Safety Related Computer Systems
|
Runge, B.
|
|
1989
|
22 |
19 |
p. 13-15
3 p.
|
artikel
|
| 12 |
Keyword Index
|
|
|
1989
|
22 |
19 |
p. 149-
1 p.
|
artikel
|
| 13 |
Means and Measures for Data Security
|
Horak, O.J.
|
|
1989
|
22 |
19 |
p. 1-6
6 p.
|
artikel
|
| 14 |
Model-based Decision Tree Generation for Diagnosis and Measurement Selection
|
Friedrich, G.
|
|
1989
|
22 |
19 |
p. 109-115
7 p.
|
artikel
|
| 15 |
Modeling of PMS—Structures in Sharpe
|
Kantz, H.
|
|
1989
|
22 |
19 |
p. 97-102
6 p.
|
artikel
|
| 16 |
On Diverse Programming for Vital Systems
|
Schildt, G.H.
|
|
1989
|
22 |
19 |
p. 129-133
5 p.
|
artikel
|
| 17 |
Pamela—An Approach to Automatic Software Verification in Industrial Applications
|
Buth, B.
|
|
1989
|
22 |
19 |
p. 65-69
5 p.
|
artikel
|
| 18 |
Preface
|
Genser, Robert
|
|
1989
|
22 |
19 |
p. vii-
1 p.
|
artikel
|
| 19 |
Safety Measures of the Electronic Interlocking System “Elektra”
|
Erb, A.
|
|
1989
|
22 |
19 |
p. 49-52
4 p.
|
artikel
|
| 20 |
Software analysis as a test procedure in type approval testing
|
Hansen, S.L.
|
|
1989
|
22 |
19 |
p. 81-84
4 p.
|
artikel
|
| 21 |
The Impact of the Man-Machine Interface on Software Requirements Completeness
|
Jaffe, M.S.
|
|
1989
|
22 |
19 |
p. 41-48
8 p.
|
artikel
|
| 22 |
The Interaction between Practical Experience, Standardization and the Application of Standards
|
Schoitsch, E.
|
|
1989
|
22 |
19 |
p. 17-24
8 p.
|
artikel
|
| 23 |
The Static Analysis of Safety Critical Software Using MALPAS
|
Ward, N.J.
|
|
1989
|
22 |
19 |
p. 91-96
6 p.
|
artikel
|
| 24 |
Validating the Sacem Railway Control System Using the Idas Software Test and Debugging Tool
|
Alzerra, D.
|
|
1989
|
22 |
19 |
p. 59-63
5 p.
|
artikel
|
| 25 |
VLSI implementation for control of critical systems
|
Noraz, S.
|
|
1989
|
22 |
19 |
p. 53-58
6 p.
|
artikel
|
| 26 |
Votrics—Fault Tolerance Realized in Software
|
Wirthumer, G.
|
|
1989
|
22 |
19 |
p. 135-140
6 p.
|
artikel
|
Tijdschrift beschrijving