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

Computer Safety, Reliability, and Security

Overview of attention for book
Cover of 'Computer Safety, Reliability, and Security'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Critical Information Infrastructures: Should Models Represent Structures or Functions?
  3. Altmetric Badge
    Chapter 2 Security and Interoperability for MANETs and a Fixed Core
  4. Altmetric Badge
    Chapter 3 Technology, Society and Risk
  5. Altmetric Badge
    Chapter 4 Panel: Complexity and Resilience
  6. Altmetric Badge
    Chapter 5 The Effectiveness of T-Way Test Data Generation
  7. Altmetric Badge
    Chapter 6 Towards Agile Engineering of High-Integrity Systems
  8. Altmetric Badge
    Chapter 7 SafeSpection – A Systematic Customization Approach for Software Hazard Identification
  9. Altmetric Badge
    Chapter 8 Integrating Safety Analyses and Component-Based Design
  10. Altmetric Badge
    Chapter 9 Modelling Support for Design of Safety-Critical Automotive Embedded Systems
  11. Altmetric Badge
    Chapter 10 Resilience in the Aviation System
  12. Altmetric Badge
    Chapter 11 Resilience Markers for Safer Systems and Organisations
  13. Altmetric Badge
    Chapter 12 Modeling and Analyzing Disaster Recovery Plans as Business Processes
  14. Altmetric Badge
    Chapter 13 Analysis of Nested CRC with Additional Net Data in Communication
  15. Altmetric Badge
    Chapter 14 Symbolic Reliability Analysis of Self-healing Networked Embedded Systems
  16. Altmetric Badge
    Chapter 15 Investigation and Reduction of Fault Sensitivity in the FlexRay Communication Controller Registers
  17. Altmetric Badge
    Chapter 16 Secure Interaction Models for the HealthAgents System
  18. Altmetric Badge
    Chapter 17 Security Challenges in Adaptive e-Health Processes
  19. Altmetric Badge
    Chapter 18 An Efficient e-Commerce Fair Exchange Protocol That Encourages Customer and Merchant to Be Honest
  20. Altmetric Badge
    Chapter 19 Creating a Secure Infrastructure for Wireless Diagnostics and Software Updates in Vehicles
  21. Altmetric Badge
    Chapter 20 Finding Corrupted Computers Using Imperfect Intrusion Prevention System Event Data
  22. Altmetric Badge
    Chapter 21 Security Threats to Automotive CAN Networks – Practical Examples and Selected Short-Term Countermeasures
  23. Altmetric Badge
    Chapter 22 Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information
  24. Altmetric Badge
    Chapter 23 Applying Safety Goals to a New Intensive Care Workstation System
  25. Altmetric Badge
    Chapter 24 Safety Assurance Strategies for Autonomous Vehicles
  26. Altmetric Badge
    Chapter 25 Expert Assessment of Arguments: A Method and Its Experimental Evaluation
  27. Altmetric Badge
    Chapter 26 Formal Verification by Reverse Synthesis
  28. Altmetric Badge
    Chapter 27 Deriving Safety Software Requirements from an AltaRica System Model
  29. Altmetric Badge
    Chapter 28 Model-Based Implementation of Real-Time Systems
  30. Altmetric Badge
    Chapter 29 Early Prototyping of Wireless Sensor Network Algorithms in PVS
  31. Altmetric Badge
    Chapter 30 Analyzing Fault Susceptibility of ABS Microcontroller
  32. Altmetric Badge
    Chapter 31 A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems
  33. Altmetric Badge
    Chapter 32 The Wrong Question to the Right People. A Critical View of Severity Classification Methods in ATM Experimental Projects
  34. Altmetric Badge
    Chapter 33 A Context-Aware Mandatory Access Control Model for Multilevel Security Environments
  35. Altmetric Badge
    Chapter 34 Formal Security Analysis of Electronic Software Distribution Systems
  36. Altmetric Badge
    Chapter 35 The Advanced Electric Power Grid: Complexity Reduction Techniques for Reliability Modeling
  37. Altmetric Badge
    Chapter 36 Automating the Processes of Selecting an Appropriate Scheduling Algorithm and Configuring the Scheduler Implementation for Time-Triggered Embedded Systems
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user
facebook
1 Facebook page
wikipedia
1 Wikipedia page

Readers on

mendeley
23 Mendeley
Summary X Facebook Wikipedia
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
Computer Safety, Reliability, and Security
Published by
Springer Berlin Heidelberg, September 2008
DOI 10.1007/978-3-540-87698-4
ISBNs
978-3-54-087697-7, 978-3-54-087698-4
Editors

Harrison, Michael D., Sujan, Mark-Alexander

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.
 Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 23 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 23 100%

Demographic breakdown

Readers by professional status Count As %
Student > Bachelor 16 70%
Lecturer 2 9%
Student > Master 2 9%
Student > Ph. D. Student 2 9%
Researcher 1 4%
Other 0 0%
Readers by discipline Count As %
Agricultural and Biological Sciences 14 61%
Computer Science 7 30%
Engineering 2 9%

This page is provided by Altmetric.