| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A Comparison of Static and Dynamic Conformance Analyses
|
Hennell, M.A.
|
|
1990
|
23 |
6 |
p. 119-124
6 p.
|
artikel
|
| 2 |
A Concept of a Computer System for the Execution of Safety Critical Licensable Software Programmed in a High Level Language
|
Halang, W.A.
|
|
1990
|
23 |
6 |
p. 25-30
6 p.
|
artikel
|
| 3 |
A Formal Model for Safety-Critical Computing Systems
|
Saeed, A.
|
|
1990
|
23 |
6 |
p. 1-6
6 p.
|
artikel
|
| 4 |
Aspects of Proving Compiler Correctness
|
Karger, B.v.
|
|
1990
|
23 |
6 |
p. 19-24
6 p.
|
artikel
|
| 5 |
Assessing Software Reliability in a Changing Environment
|
Stålhane, T.
|
|
1990
|
23 |
6 |
p. 83-88
6 p.
|
artikel
|
| 6 |
Author Index
|
|
|
1990
|
23 |
6 |
p. 173-
1 p.
|
artikel
|
| 7 |
Computer Based Training for Contingency Decisions
|
Drager, K.H.
|
|
1990
|
23 |
6 |
p. 125-130
6 p.
|
artikel
|
| 8 |
Controlling Software Production, from a Customer Point of View
|
Ficheux, F.
|
|
1990
|
23 |
6 |
p. 151-155
5 p.
|
artikel
|
| 9 |
Dependability Evaluation of Watchdog Processors
|
Gil, P.J.
|
|
1990
|
23 |
6 |
p. 89-94
6 p.
|
artikel
|
| 10 |
Formal Approach to Faults in Safety Related Applications
|
Górski, J.
|
|
1990
|
23 |
6 |
p. 7-12
6 p.
|
artikel
|
| 11 |
Keyword Index
|
|
|
1990
|
23 |
6 |
p. 175-
1 p.
|
artikel
|
| 12 |
Logical Foundations of a Probabilistic Theory of Software Correctness
|
Grams, T.
|
|
1990
|
23 |
6 |
p. 37-42
6 p.
|
artikel
|
| 13 |
Management of Computer-Aided Control System Design from Concept to Flight Test
|
Tomlinson, B.N.
|
|
1990
|
23 |
6 |
p. 135-144
10 p.
|
artikel
|
| 14 |
Methodological Aspects of Critics During Safety Validation
|
List, G.
|
|
1990
|
23 |
6 |
p. 99-103
5 p.
|
artikel
|
| 15 |
Methods of Protection Against Computer Viruses
|
Gaj, K.
|
|
1990
|
23 |
6 |
p. 43-48
6 p.
|
artikel
|
| 16 |
Modeling and Verifying Systems and Software in Propositional Logic
|
Stålmarck, G.
|
|
1990
|
23 |
6 |
p. 31-36
6 p.
|
artikel
|
| 17 |
Practical Experience in the Assessment of Existing Safety Critical Computer Based Systems
|
Finnie, B.W.
|
|
1990
|
23 |
6 |
p. 95-98
4 p.
|
artikel
|
| 18 |
Preface
|
Daniels, Barry
|
|
1990
|
23 |
6 |
p. vii-
1 p.
|
artikel
|
| 19 |
Provably Correct Safety Critical Software
|
Ravn, A.P.
|
|
1990
|
23 |
6 |
p. 13-18
6 p.
|
artikel
|
| 20 |
Qualitative Knowledge in a Diagnostic Expert System for Nuclear Power Plant Safety
|
Obreja, I.
|
|
1990
|
23 |
6 |
p. 131-134
4 p.
|
artikel
|
| 21 |
Quality Measurement of Mission Critical Systems
|
Wright, J.B.
|
|
1990
|
23 |
6 |
p. 71-76
6 p.
|
artikel
|
| 22 |
Skills and Technologies for the Development and Evaluation of Safety Critical Systems
|
McDermid, J.A.
|
|
1990
|
23 |
6 |
p. 163-171
9 p.
|
artikel
|
| 23 |
Software Coverage Metrics and Operational Reliability
|
Veevers, A.
|
|
1990
|
23 |
6 |
p. 67-69
3 p.
|
artikel
|
| 24 |
Software Reliability Assessment – The Need for Process Visibility
|
Dale, C.
|
|
1990
|
23 |
6 |
p. 77-82
6 p.
|
artikel
|
| 25 |
SYMBAD: A Symbolic Executor of Sequential Ada Programs
|
Coen-Porisini, A.
|
|
1990
|
23 |
6 |
p. 105-111
7 p.
|
artikel
|
| 26 |
The ELEKTRA Testbed: Architecture of a Real-time Test Environment for High Safety and Reliability Requirements
|
Schoitsch, E.
|
|
1990
|
23 |
6 |
p. 59-65
7 p.
|
artikel
|
| 27 |
The History and Development of Computer Based Safety Systems for Offshore Oil and Gas Production Platforms from the Sixties to the Present Day
|
Goring, C.J.
|
|
1990
|
23 |
6 |
p. 145-150
6 p.
|
artikel
|
| 28 |
The Impact of Social Factors on Acceptable Levels of Safety Integrity
|
Johnston, I.H.A
|
|
1990
|
23 |
6 |
p. 157-161
5 p.
|
artikel
|
| 29 |
The Need for a Standard Method for Computer Security Requirements Analysis
|
Talbot, R.J.
|
|
1990
|
23 |
6 |
p. 49-53
5 p.
|
artikel
|
| 30 |
The Testing of Real-Time Embedded Software by Dynamic Analysis Techniques
|
Hedley, D.
|
|
1990
|
23 |
6 |
p. 55-58
4 p.
|
artikel
|
| 31 |
Tools and Methodologies for Quality Assurance
|
Anders, U.
|
|
1990
|
23 |
6 |
p. 113-118
6 p.
|
artikel
|
Tijdschrift beschrijving