↓ Skip to main content
What is this page? Embed badge

Technology and Assessment of Safety-Critical Systems

Overview of attention for book
Cover of 'Technology and Assessment of Safety-Critical Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 A User’s Perspective of Programmable Logic Controllers (PLCs) in Safety-related Applications
  3. Altmetric Badge
    Chapter 2 Methods and Techniques of Improving the Safety Classification of Programmable Logic Controller Safety Systems
  4. Altmetric Badge
    Chapter 3 Maintainability and its Influence on System Safety
  5. Altmetric Badge
    Chapter 4 Safety Critical Problems in Medical Systems
  6. Altmetric Badge
    Chapter 5 Developing Safety Cases for Command and Control Systems
  7. Altmetric Badge
    Chapter 6 Lifetrack: Organisational Modelling for Safety-Critical Decision Support
  8. Altmetric Badge
    Chapter 7 The True Cost of Risk and Its Impact on Safety
  9. Altmetric Badge
    Chapter 8 Risk and Safety Reviews
  10. Altmetric Badge
    Chapter 9 Extending Safety Analysis Techniques with Formal Semantics
  11. Altmetric Badge
    Chapter 10 Social Issues in High-Tech Safety
  12. Altmetric Badge
    Chapter 11 Human Error in the Software Generation Process
  13. Altmetric Badge
    Chapter 12 Cognitive and Organisational Aspects of Design
  14. Altmetric Badge
    Chapter 13 Producing Critical Systems — The Ada 9X Solution
  15. Altmetric Badge
    Chapter 14 Using Formal Transformations for the Reverse Engineering of Real-Time Safety Critical Systems
  16. Altmetric Badge
    Chapter 15 Use of Neural Computing in Multiversion Software Reliability
  17. Altmetric Badge
    Chapter 16 Knowledge Based Systems in Safety Critical Applications
  18. Altmetric Badge
    Chapter 17 The rôle of Formal Methods in the Engineering of Safety Critical Systems
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user

Citations

dimensions_citation
4 Dimensions

Readers on

mendeley
2 Mendeley
Summary X Dimensions citations
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Technology and Assessment of Safety-Critical Systems
Published by
Springer, London, January 1994
DOI 10.1007/978-1-4471-2082-7
ISBNs
978-3-54-019859-8, 978-1-4471-2082-7
Editors

Felix Redmill, Tom Anderson

View on publisher site
X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.

This page is provided by Altmetric.