| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
A Computer System Application to Improve Nuclear Plant Availability
|
De Martinis, A.
|
|
1991
|
24 |
13 |
p. 41-45
5 p.
|
article
|
| 2 |
A Configuration Management System for Incremental Delivery Projects
|
Redmill, F.
|
|
1991
|
24 |
13 |
p. 117-124
8 p.
|
article
|
| 3 |
A Method for Computing HOL SW Time Response and its Validation
|
Cantone, G.
|
|
1991
|
24 |
13 |
p. 21-27
7 p.
|
article
|
| 4 |
A Method for Considering Safety and Reliability in Automation Design
|
Reunanen, M.
|
|
1991
|
24 |
13 |
p. 107-112
6 p.
|
article
|
| 5 |
An Early Warning Method for Safety-Critical Software Development
|
Pengelly, A.D.
|
|
1991
|
24 |
13 |
p. 113-116
4 p.
|
article
|
| 6 |
Applying Programmable Gate Arrays to Provide Diversity in Safety Relevant Systems
|
Halang, W.A.
|
|
1991
|
24 |
13 |
p. 57-62
6 p.
|
article
|
| 7 |
A Software Tool for Fault-Tolerant Systems in the Operational Phase
|
Sismail, K.
|
|
1991
|
24 |
13 |
p. 47-55
9 p.
|
article
|
| 8 |
Author Index
|
|
|
1991
|
24 |
13 |
p. 181-
1 p.
|
article
|
| 9 |
Balancing Reliability Requirements for Field Devices and Control Logic Modules in Safety Systems
|
Bodsberg, L.
|
|
1991
|
24 |
13 |
p. 89-94
6 p.
|
article
|
| 10 |
Classification of Critical Events in Systems Described by Grafcet Using the Markov Process
|
Abazi, Z.
|
|
1991
|
24 |
13 |
p. 101-106
6 p.
|
article
|
| 11 |
Complexity Measures for the Analysis of Specifications of (Reliability Related) Computer Systems
|
Ebert, C.
|
|
1991
|
24 |
13 |
p. 95-100
6 p.
|
article
|
| 12 |
Darts - An Experiment Into Cost of and Diversity in Safety Critical Computer Systems
|
Smith, I.C.
|
|
1991
|
24 |
13 |
p. 35-40
6 p.
|
article
|
| 13 |
Enhancing Safety by Diversity - One More Way to Implement IT
|
Sjöbergh, B.
|
|
1991
|
24 |
13 |
p. 159-161
3 p.
|
article
|
| 14 |
Experiences in Design and Development of a Highly Dependable and Scaleable Distributed Security, Alarm and Control System
|
Schoitsch, E.
|
|
1991
|
24 |
13 |
p. 141-147
7 p.
|
article
|
| 15 |
Fault Avoidance Through a Development Environment Adopting Prototyping
|
De Panfilis, S.
|
|
1991
|
24 |
13 |
p. 125-130
6 p.
|
article
|
| 16 |
Formal Construction of Hard Time Requirements in the Software Design
|
Bareiß, R.
|
|
1991
|
24 |
13 |
p. 13-19
7 p.
|
article
|
| 17 |
Improving Software Quality in a Space Application
|
Pasquini, A.
|
|
1991
|
24 |
13 |
p. 29-34
6 p.
|
article
|
| 18 |
Information Security Issues in Transaction Systems Applied to an Integrated Road Traffic Environment
|
Andersen, B.G.
|
|
1991
|
24 |
13 |
p. 135-140
6 p.
|
article
|
| 19 |
Keyword Index
|
|
|
1991
|
24 |
13 |
p. 183-184
2 p.
|
article
|
| 20 |
Knowledge Modelling and Reliability Processing: Presentation of the Figaro Language and Associated Tools
|
Bouissou, M.
|
|
1991
|
24 |
13 |
p. 69-75
7 p.
|
article
|
| 21 |
Methods and Tools for Application Oriented Language (AOL) for a Computerized Railway Interlocking System
|
Axelsson, P.
|
|
1991
|
24 |
13 |
p. 149-152
4 p.
|
article
|
| 22 |
Preface
|
Lindeberg, Johan F.
|
|
1991
|
24 |
13 |
p. vii-
1 p.
|
article
|
| 23 |
Security Evaluation Criteria
|
Knapskog, S.J.
|
|
1991
|
24 |
13 |
p. 131-134
4 p.
|
article
|
| 24 |
Software Safety Checks Using Stored Tested Paths
|
Dahll, G.
|
|
1991
|
24 |
13 |
p. 153-158
6 p.
|
article
|
| 25 |
Some Answers to the Problem of Safety in Microprocessor-Based Devices
|
Gérardin, J.Ph.
|
|
1991
|
24 |
13 |
p. 63-68
6 p.
|
article
|
| 26 |
Synchronized Local State Diagram: A Modelling Methodology Under Development
|
Heegaard, P.E.
|
|
1991
|
24 |
13 |
p. 83-87
5 p.
|
article
|
| 27 |
Systematic Software Testing Strategies as Explanatory Variables of Proportional Hazards
|
Saglietti, F.
|
|
1991
|
24 |
13 |
p. 163-167
5 p.
|
article
|
| 28 |
The Balancing of Quality Assurance Against Validation Activities
|
Stȧlhane, T.
|
|
1991
|
24 |
13 |
p. 175-180
6 p.
|
article
|
| 29 |
The Formalization and Analysis of a Communications Protocol
|
Bruns, G.
|
|
1991
|
24 |
13 |
p. 7-12
6 p.
|
article
|
| 30 |
The Role of Trend Analysis in Software Development and Validation
|
Kanoun, K.
|
|
1991
|
24 |
13 |
p. 169-174
6 p.
|
article
|
| 31 |
Towards A Common Safety Description Model
|
Bloomfield, R.E.
|
|
1991
|
24 |
13 |
p. 1-6
6 p.
|
article
|
| 32 |
Using Fault Tree Analysis in Developing Reliable Software
|
Ovstedal, E.O.
|
|
1991
|
24 |
13 |
p. 77-82
6 p.
|
article
|
Journal description