SAFECOMP ’93
Latest Publications

TOTAL DOCUMENTS

37
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer London

9783540198383, 9781447120612
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Design and Analysis of a Failsafe Algorithm for Solving Boolean Equations

1993 ◽  
pp. 73-82
Author(s):  
Harvey E. Rhody ◽  
Vittorio Manoni ◽  
James R. Hoelscher

Oreste : a Reliable Reactive Real-Time Language

1993 ◽  
pp. 302-310
Author(s):  
Pierre Molinaro ◽  
Olivier H. Roux
Keyword(s):  
Real Time

A Safety Critical Computer System in a Railway Application

1993 ◽  
pp. 182-193
Author(s):  
Bernhard Stamm ◽  
René Baumann ◽  
Martin Kündig-Herzog
Keyword(s):  
Computer System ◽  
Safety Critical

Data Flow Control Systems: an Example of Safety Validation

1993 ◽  
pp. 9-20 ◽  
Author(s):  
Cinzia Bernardeschi ◽  
Luca Simoncini ◽  
Andrea Bondavalli
Keyword(s):  
Flow Control ◽  
Control Systems ◽  
Data Flow ◽  
Data Flow Control

The Benefits of SUSI: Safety Analysis of User System Interaction

1993 ◽  
pp. 123-132 ◽  
Author(s):  
M. F. Chudleigh ◽  
J. N. Clare
Keyword(s):  
Safety Analysis

Safety Analysis of Clinical Laboratory Systems

1993 ◽  
pp. 111-122
Author(s):  
S. S. Dhanjal ◽  
R. Fink
Keyword(s):  
Clinical Laboratory ◽  
Safety Analysis

Safety — status and perspectives

1993 ◽  
pp. 3-6 ◽  
Author(s):  
Tom Anderson

Composition and Refinement of Probabilistic Real-Time Systems

1993 ◽  
pp. 31-40
Author(s):  
Zhiming Liu ◽  
Jens Nordahl ◽  
Erling Vagn Sørensen
Keyword(s):  
Real Time ◽  
Real Time Systems ◽  
Time Systems
Load More ...
Sign in / Sign up

Export Citation Format

Share Document