| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A Case Study in the Analysis of Safety Requirements
|
Bruns, Glenn
|
|
1992
|
25 |
30 |
p. 1-6
6 p.
|
artikel
|
| 2 |
A Framework to Support Decisions On Appropriate Security Measures
|
Bauknecht, Kurt
|
|
1992
|
25 |
30 |
p. 253-258
6 p.
|
artikel
|
| 3 |
A Generic Failure Model for Distributed Systems
|
Tam, Francis
|
|
1992
|
25 |
30 |
p. 51-56
6 p.
|
artikel
|
| 4 |
An Adaptive Approach to Designing Antivirus Systems
|
Titov, M.A.
|
|
1992
|
25 |
30 |
p. 215-220
6 p.
|
artikel
|
| 5 |
An Experimental Evaluation of Formal Testing and Statistical Testing
|
Marre, B.
|
|
1992
|
25 |
30 |
p. 311-316
6 p.
|
artikel
|
| 6 |
Are Widely Used Security Systems Inadequate?
|
Futschek, G.
|
|
1992
|
25 |
30 |
p. 225-229
5 p.
|
artikel
|
| 7 |
A Safety System for Close Interaction between Man and Robot
|
Baerveldt, Albert-Jan
|
|
1992
|
25 |
30 |
p. 25-29
5 p.
|
artikel
|
| 8 |
A Simple Strongly-Fail-Safe Circuit Used as Basic Cell for Designing Safety Architectures
|
Noraz, S.
|
|
1992
|
25 |
30 |
p. 31-37
7 p.
|
artikel
|
| 9 |
A Single-Chip Computer for Robust Variable-Structure Control of Large-Scale Safety-Critical Systems
|
Gough, Norman E.
|
|
1992
|
25 |
30 |
p. 39-44
6 p.
|
artikel
|
| 10 |
ASTREE - Odometric Safety Control Unit
|
Stephan, Philippe
|
|
1992
|
25 |
30 |
p. 153-158
6 p.
|
artikel
|
| 11 |
Author Index
|
|
|
1992
|
25 |
30 |
p. 317-
1 p.
|
artikel
|
| 12 |
A Versatile Monitoring System for Distributed Real–time Systems
|
Schmid, Ulrich
|
|
1992
|
25 |
30 |
p. 203-208
6 p.
|
artikel
|
| 13 |
A View on Computer Systems and their Reliability in Japan
|
Natsume, Takeshi
|
|
1992
|
25 |
30 |
p. 45-49
5 p.
|
artikel
|
| 14 |
Certification of Digital Systems in Commercial Avionics Applications
|
Cook, A.
|
|
1992
|
25 |
30 |
p. 179-184
6 p.
|
artikel
|
| 15 |
Combining Probabilistic and Deterministic Verification Efforts
|
Ehrenberger, W.D.
|
|
1992
|
25 |
30 |
p. 299-304
6 p.
|
artikel
|
| 16 |
Computer-Aided Specification and Verification of Process Control Software
|
Krämer, Bernd
|
|
1992
|
25 |
30 |
p. 7-12
6 p.
|
artikel
|
| 17 |
Concept of a Security Control Center
|
Fichtner, Johann
|
|
1992
|
25 |
30 |
p. 267-271
5 p.
|
artikel
|
| 18 |
Considerations about an Axiomatic Basis for Software Control Flow Measures
|
Brummer, J.
|
|
1992
|
25 |
30 |
p. 245-251
7 p.
|
artikel
|
| 19 |
Design and Planning in the Development of Safety-Critical Software with ADA
|
Prorok, J.
|
|
1992
|
25 |
30 |
p. 75-80
6 p.
|
artikel
|
| 20 |
Fault Diagnosis of a Batch of Microprocessors
|
Huang, Jianwen
|
|
1992
|
25 |
30 |
p. 197-201
5 p.
|
artikel
|
| 21 |
Fault Tolerance by a Distributed Software Control for a High Reliability
|
Renaux, Emmanuelle
|
|
1992
|
25 |
30 |
p. 63-67
5 p.
|
artikel
|
| 22 |
Fault-Tolerant Multiprocessor for Embedded Process Control
|
Siegrist, T.T.
|
|
1992
|
25 |
30 |
p. 173-178
6 p.
|
artikel
|
| 23 |
Formal Methods and Software Safety
|
Bowen, J.P.
|
|
1992
|
25 |
30 |
p. 93-98
6 p.
|
artikel
|
| 24 |
Functional Specification of Vital Computer Software for HIHG-Speed Maglev Systems
|
Jopke, K.
|
|
1992
|
25 |
30 |
p. 123-128
6 p.
|
artikel
|
| 25 |
Integration of Software Reliability Predictions to Achieve Modelling Fault Tolerance
|
Saglietti, F.
|
|
1992
|
25 |
30 |
p. 117-121
5 p.
|
artikel
|
| 26 |
Integrity Prediction During Software Development
|
Hall, P.
|
|
1992
|
25 |
30 |
p. 239-244
6 p.
|
artikel
|
| 27 |
Keyword Index
|
|
|
1992
|
25 |
30 |
p. 319-321
3 p.
|
artikel
|
| 28 |
Logic Modelling of Dependable Systems
|
Murdoch, John
|
|
1992
|
25 |
30 |
p. 111-116
6 p.
|
artikel
|
| 29 |
Markovian Models for Classification of Faults in Manufacturing Systems
|
Abazi, Zineb
|
|
1992
|
25 |
30 |
p. 105-110
6 p.
|
artikel
|
| 30 |
Modeling Users' Behavior And Threats For Security
|
Castano, S.
|
|
1992
|
25 |
30 |
p. 273-278
6 p.
|
artikel
|
| 31 |
Object Representation of the Operative Environment
|
Mekkaoui, M.
|
|
1992
|
25 |
30 |
p. 99-104
6 p.
|
artikel
|
| 32 |
On Static Analysis of Deadlocks in Transputer Networks
|
Pakštas, Algirdas
|
|
1992
|
25 |
30 |
p. 209-214
6 p.
|
artikel
|
| 33 |
Operating MSDOS in a Controlled Environment
|
Posch, R.
|
|
1992
|
25 |
30 |
p. 221-224
4 p.
|
artikel
|
| 34 |
Practical Experience with Safety Assessment of a System for Automatic Train Control
|
Stålhane, Tor
|
|
1992
|
25 |
30 |
p. 167-172
6 p.
|
artikel
|
| 35 |
Practical Formal Methods for Process Control Engineering
|
Fencott, Clive
|
|
1992
|
25 |
30 |
p. 87-92
6 p.
|
artikel
|
| 36 |
Preface
|
Frey, Heinz H.
|
|
1992
|
25 |
30 |
p. v-
1 p.
|
artikel
|
| 37 |
Propagating Temporal Demands into the Software Design to Support the Evaluation of Safety Critical Hard Real-time Systems
|
Bareiss, R.
|
|
1992
|
25 |
30 |
p. 231-237
7 p.
|
artikel
|
| 38 |
Proving Safety of a Railway Signalling System Incorporating Geographic Data
|
Ingleby, Michael
|
|
1992
|
25 |
30 |
p. 129-134
6 p.
|
artikel
|
| 39 |
Recovery in Distributed Systems from Solid Faults
|
Aliouat, Makhlouf
|
|
1992
|
25 |
30 |
p. 57-62
6 p.
|
artikel
|
| 40 |
Reliability Evaluation of Communication Networks
|
El Khadiri, Mohamed
|
|
1992
|
25 |
30 |
p. 279-284
6 p.
|
artikel
|
| 41 |
Risk Perceptions and Acceptance of Computers in Critical Applications
|
Pasquini, A.
|
|
1992
|
25 |
30 |
p. 293-298
6 p.
|
artikel
|
| 42 |
Safety Assessment of Computer Systems Using Hazop and Audit Techniques
|
Chudleigh, M.F.
|
|
1992
|
25 |
30 |
p. 285-292
8 p.
|
artikel
|
| 43 |
Safety Case Structure: Issues Related to Certification of Avionics Systems
|
Hall, Benita M.
|
|
1992
|
25 |
30 |
p. 191-196
6 p.
|
artikel
|
| 44 |
Security Policies for Databases
|
Pernul, G.
|
|
1992
|
25 |
30 |
p. 259-265
7 p.
|
artikel
|
| 45 |
Specifying, Designing and Rapid Prototyping Computer Systems with Structured Petri Nets
|
Ebert, Christof
|
|
1992
|
25 |
30 |
p. 19-24
6 p.
|
artikel
|
| 46 |
Testing Knowledge Based Systems: A Case Study and Implications
|
Heino, P.
|
|
1992
|
25 |
30 |
p. 305-310
6 p.
|
artikel
|
| 47 |
Testing of a Computer Based Interlocking Software: Methodology and Environment
|
Abbaneo, C.
|
|
1992
|
25 |
30 |
p. 159-165
7 p.
|
artikel
|
| 48 |
The Coded Microprocessor Certification
|
Patrick, Ozello
|
|
1992
|
25 |
30 |
p. 185-190
6 p.
|
artikel
|
| 49 |
The Mythical Mean Time to Failure
|
Bissett, A.K.
|
|
1992
|
25 |
30 |
p. 81-86
6 p.
|
artikel
|
| 50 |
The Redundancy Specification in Configuration Languages
|
Biland, Pierre
|
|
1992
|
25 |
30 |
p. 13-18
6 p.
|
artikel
|
| 51 |
The Verification Support Environment VSE
|
Baur,
|
|
1992
|
25 |
30 |
p. 69-74
6 p.
|
artikel
|
| 52 |
Using Petri Nets for Safety Analysis of Unmanned Metro System
|
El Koursi, M.
|
|
1992
|
25 |
30 |
p. 135-139
5 p.
|
artikel
|
| 53 |
Vital Coded Processor and Safety Related Software Design
|
Chapront, P.
|
|
1992
|
25 |
30 |
p. 141-145
5 p.
|
artikel
|
| 54 |
Vital processing by single coded unit
|
Martin, M. Jean
|
|
1992
|
25 |
30 |
p. 147-152
6 p.
|
artikel
|
Tijdschrift beschrijving