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

Software Engineering for Resilient Systems

Overview of attention for book
Cover of 'Software Engineering for Resilient Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Community Resilience Engineering: Reflections and Preliminary Contributions
  3. Altmetric Badge
    Chapter 2 Enhancing Architecture Design Decisions Evolution with Group Decision Making Principles
  4. Altmetric Badge
    Chapter 3 The Role of Parts in the System Behaviour
  5. Altmetric Badge
    Chapter 4 Automatic Generation of Description Files for Highly Available Services
  6. Altmetric Badge
    Chapter 5 Modelling Resilience of Data Processing Capabilities of CPS
  7. Altmetric Badge
    Chapter 6 Formal Fault Tolerance Analysis of Algorithms for Redundant Systems in Early Design Stages
  8. Altmetric Badge
    Chapter 7 On Applying FMEA to SOAs: A Proposal and Open Challenges
  9. Altmetric Badge
    Chapter 8 Verification and Validation of a Pressure Control Unit for Hydraulic Systems
  10. Altmetric Badge
    Chapter 9 Simulation Testing and Model Checking: A Case Study Comparing these Approaches
  11. Altmetric Badge
    Chapter 10 Advanced Modelling, Simulation and Verification for Future Traffic Regulation Optimisation
  12. Altmetric Badge
    Chapter 11 Using Instrumentation for Quality Assessment of Resilient Software in Embedded Systems
  13. Altmetric Badge
    Chapter 12 Adaptive Domain-Specific Service Monitoring
  14. Altmetric Badge
    Chapter 13 Combined Error Propagation Analysis and Runtime Event Detection in Process-Driven Systems
Attention for Chapter 6: Formal Fault Tolerance Analysis of Algorithms for Redundant Systems in Early Design Stages
Altmetric Badge

Readers on

mendeley
9 Mendeley
Summary
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.
Chapter title
Formal Fault Tolerance Analysis of Algorithms for Redundant Systems in Early Design Stages
Chapter number 6
Book title
Software Engineering for Resilient Systems
Published by
Springer, Cham, October 2014
DOI 10.1007/978-3-319-12241-0_6
Book ISBNs
978-3-31-912240-3, 978-3-31-912241-0
Authors

Andrea Höller, Nermin Kajtazovic, Christopher Preschern, Christian Kreiner

View on publisher site
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 9 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 7 78%
Student > Bachelor 1 11%
Other 1 11%
Readers by discipline Count As %
Computer Science 5 56%
Engineering 3 33%
Unknown 1 11%

This page is provided by Altmetric.