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

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

Safe Comp 97 ◽

10.1007/978-1-4471-0997-6_26 ◽

1997 ◽

pp. 332-342

Author(s):

Stephen Barker ◽

Ian Kendall ◽

Anthony Darlison

Keyword(s):

Experience Report ◽

Industrial Experience ◽

Safety Cases ◽

Software Intensive

Download Full-text

Integration of Safety Requirements in the Initial Phases of the Project Lifecycle of Hardware/Software Systems

Safe Comp 97 ◽

10.1007/978-1-4471-0997-6_7 ◽

1997 ◽

pp. 83-97 ◽

Author(s):

Marc Wilikens ◽

Marcelo Masera ◽

Davide Vallero

Keyword(s):

Software Systems ◽

Safety Requirements ◽

Project Lifecycle

Download Full-text

Safe and Reliable Computer Control Systems an Overview

Safe Comp 97 ◽

10.1007/978-1-4471-0997-6_3 ◽

1997 ◽

pp. 25-36 ◽

Author(s):

Henrik Thane

Keyword(s):

Control Systems ◽

Computer Control

Download Full-text

Dynamic Decision on Checkpointing by Use of Reduced Ordered Binary Decision Diagrams

Safe Comp 97 ◽

10.1007/978-1-4471-0997-6_27 ◽

1997 ◽

pp. 345-356 ◽

Author(s):

Francesca Saglietti

Keyword(s):

Binary Decision Diagrams ◽

Decision Diagrams ◽

Ordered Binary Decision Diagrams ◽

Binary Decision

Download Full-text

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

Safe Comp 97 ◽

10.1007/978-1-4471-0997-6_12 ◽

1997 ◽

pp. 148-157

Author(s):

Xun Yi ◽

Kwork-Yan Lam ◽

Yong-Fei Han

Keyword(s):

Hash Function ◽

Block Cipher ◽

Design Analysis

Download Full-text

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

Safe Comp 97 ◽

10.1007/978-1-4471-0997-6_11 ◽

1997 ◽

pp. 138-147 ◽

Author(s):

Andrew M. Dearden ◽

Michael D. Harrison

Keyword(s):

Operator Interaction

Download Full-text

Towards Safer Industrial Computer Controlled Systems

Safe Comp 97 ◽

10.1007/978-1-4471-0997-6_25 ◽

1997 ◽

pp. 321-331 ◽

Author(s):

P. R. Croll ◽

C. Chambers ◽

M. Bowell ◽

P. W. H. Chung

Keyword(s):

Controlled Systems ◽

Computer Controlled

Download Full-text

Methodological Support for Formally Specifying Safety-Critical Software

Safe Comp 97 ◽

10.1007/978-1-4471-0997-6_23 ◽

1997 ◽

pp. 295-308 ◽

Author(s):

Maritta Heisel ◽

Carsten Siihl

Keyword(s):

Safety Critical

Download Full-text

Safe combinations of services using B

Safe Comp 97 ◽

10.1007/978-1-4471-0997-6_21 ◽

1997 ◽

pp. 265-280 ◽

Author(s):

Bruno Mermet ◽

Dominique Méry

Download Full-text

Automated Verification of Safety Requirements using CCS and Binary Decision Diagrams

Safe Comp 97 ◽

10.1007/978-1-4471-0997-6_19 ◽

1997 ◽

pp. 241-252

Author(s):

Reiner Lichtenecker ◽

Klaus Gotthardt

Keyword(s):

Binary Decision Diagrams ◽

Automated Verification ◽

Decision Diagrams ◽

Binary Decision ◽

Safety Requirements

Download Full-text