Safety Aspects of Computer Control
Latest Publications

TOTAL DOCUMENTS

16

(FIVE YEARS 0)

H-INDEX

2

(FIVE YEARS 0)

Published By Elsevier

9780750611022

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The problems of an industrial supplier – and how to achieve good quality

Safety Aspects of Computer Control ◽

10.1016/b978-0-7506-1102-2.50014-1 ◽

1993 ◽

pp. 205-226

Author(s):

Leif Danielsen

Download Full-text

Independent software verification and validation in practice: methodological and managerial aspects

Safety Aspects of Computer Control ◽

10.1016/b978-0-7506-1102-2.50010-4 ◽

1993 ◽

pp. 88-95

Author(s):

Sandro Bologna

Keyword(s):

Software Verification ◽

Verification And Validation ◽

Software Verification And Validation

Download Full-text

Real-time software requirements specification and animation using extended Petri nets: theory and application

Safety Aspects of Computer Control ◽

10.1016/b978-0-7506-1102-2.50009-8 ◽

1993 ◽

pp. 76-87

Author(s):

Sandro Bologna

Keyword(s):

Petri Nets ◽

Real Time ◽

Requirements Specification ◽

Software Requirements ◽

Extended Petri Nets ◽

Software Requirements Specification

Download Full-text

Copyright

Safety Aspects of Computer Control ◽

10.1016/b978-0-7506-1102-2.50002-5 ◽

1993 ◽

pp. iv

Download Full-text

Index

Safety Aspects of Computer Control ◽

10.1016/b978-0-7506-1102-2.50016-5 ◽

1993 ◽

pp. 245-250

Download Full-text

Preface

Safety Aspects of Computer Control ◽

10.1016/b978-0-7506-1102-2.50003-7 ◽

1993 ◽

pp. vii

Author(s):

Phil Bennett

Download Full-text

Legal liability

Safety Aspects of Computer Control ◽

10.1016/b978-0-7506-1102-2.50007-4 ◽

1993 ◽

pp. 35-55 ◽

Cited By ~ 2

Author(s):

Dai Davis

Keyword(s):

Legal Liability

Download Full-text

Software in safety-related systems: basic concepts and concerns

Safety Aspects of Computer Control ◽

10.1016/b978-0-7506-1102-2.50005-0 ◽

1993 ◽

pp. 1-18

Author(s):

Bob Malcolm

Keyword(s):

Basic Concepts

Download Full-text

Contributors

Safety Aspects of Computer Control ◽

10.1016/b978-0-7506-1102-2.50004-9 ◽

1993 ◽

pp. ix

Download Full-text

Use of Ada in safety-critical systems

Safety Aspects of Computer Control ◽

10.1016/b978-0-7506-1102-2.50012-8 ◽

1993 ◽

pp. 154-186

Author(s):

Ian C. Pyle

Keyword(s):

Critical Systems ◽

Safety Critical ◽

Safety Critical Systems

Download Full-text