Safe Comp 97
Latest Publications

TOTAL DOCUMENTS

29
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer London

9783540761914, 9781447109976
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Design, Analysis and Implementation of a New Hash Function Based on Block Cipher

Safe Comp 97 ◽  
1997 ◽  
pp. 148-157
Author(s):  
Xun Yi ◽  
Kwork-Yan Lam ◽  
Yong-Fei Han
Keyword(s):  
Hash Function ◽  
Block Cipher ◽  
Design Analysis

Using Executable Interactor Specifications to Explore the Impact of Operator Interaction Errors

Safe Comp 97 ◽  
1997 ◽  
pp. 138-147 ◽  
Author(s):  
Andrew M. Dearden ◽  
Michael D. Harrison
Keyword(s):  
The Impact ◽  
Operator Interaction

Safety Cases for Software-intensive Systems: an Industrial Experience Report

Safe Comp 97 ◽  
1997 ◽  
pp. 332-342
Author(s):  
Stephen Barker ◽  
Ian Kendall ◽  
Anthony Darlison
Keyword(s):  
Experience Report ◽  
Industrial Experience ◽  
Safety Cases ◽  
Software Intensive

Towards Safer Industrial Computer Controlled Systems

Safe Comp 97 ◽  
1997 ◽  
pp. 321-331 ◽  
Author(s):  
P. R. Croll ◽  
C. Chambers ◽  
M. Bowell ◽  
P. W. H. Chung
Keyword(s):  
Controlled Systems ◽  
Computer Controlled

Methodological Support for Formally Specifying Safety-Critical Software

Safe Comp 97 ◽  
1997 ◽  
pp. 295-308 ◽  
Author(s):  
Maritta Heisel ◽  
Carsten Siihl
Keyword(s):  
Safety Critical

Safe combinations of services using B

Safe Comp 97 ◽  
1997 ◽  
pp. 265-280 ◽  
Author(s):  
Bruno Mermet ◽  
Dominique Méry
Load More ...
Sign in / Sign up

Export Citation Format

Share Document