Safe Comp 96
Latest Publications

TOTAL DOCUMENTS

39
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer London

9783540760702, 9781447109372
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Formal Verification as a Design Tool - The Transponder Lock Example

Safe Comp 96 ◽  
1997 ◽  
pp. 73-82
Author(s):  
R. Budde ◽  
A. Merceron ◽  
K.-H. Sylla
Keyword(s):  
Formal Verification ◽  
Design Tool

Safety Case for the NERC Air Traffic Control System

Safe Comp 96 ◽  
1997 ◽  
pp. 345-345 ◽  
Author(s):  
Shoky Visram ◽  
Werner Artner ◽  
Philip Marsden
Keyword(s):  
Control System ◽  
Traffic Control ◽  
Air Traffic Control ◽  
Air Traffic ◽  
Safety Case ◽  
Traffic Control System

SIGAV, the Italian High Speed Railway Integrated Management System: Safety and Reliability Overview

Safe Comp 96 ◽  
1997 ◽  
pp. 250-265
Author(s):  
G. Aprea ◽  
P. Colantuoni ◽  
P. Firpo ◽  
R. Lido ◽  
D. Pellegrino ◽  
...  
Keyword(s):  
Management System ◽  
High Speed ◽  
Integrated Management ◽  
System Safety ◽  
High Speed Railway ◽  
Integrated Management System ◽  
Safety And Reliability

Tolerant Software Interfaces: Can COTS-based Systems be Trusted Without Them?

Safe Comp 96 ◽  
1997 ◽  
pp. 126-135 ◽  
Author(s):  
J. Voas ◽  
F. Charron ◽  
K. Miller
Keyword(s):  
Software Interfaces

Defining the Unit Testing Level of Synchronous Data Flow Programs

Safe Comp 96 ◽  
1997 ◽  
pp. 115-125
Author(s):  
Pascale Thévenod-Fosse ◽  
Christine Mazuet ◽  
Yves Crouzet
Keyword(s):  
Data Flow ◽  
Unit Testing ◽  
Synchronous Data Flow

scholarly journals An Holistic Approach to Dependability?

Safe Comp 96 ◽  
1997 ◽  
pp. 149-154
Author(s):  
A. Pasquini ◽  
W. Goerke ◽  
K. Kanoun ◽  
A. Rizzo
Keyword(s):  
Holistic Approach
Load More ...
Sign in / Sign up

Export Citation Format

Share Document