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

Methods, Models and Tools for Fault Tolerance

Overview of attention for book
Cover of 'Methods, Models and Tools for Fault Tolerance'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Graphical Modelling for Simulation and Formal Analysis of Wireless Network Protocols
  3. Altmetric Badge
    Chapter 2 Reasoning about System-Degradation and Fault-Recovery with Deontic Logic
  4. Altmetric Badge
    Chapter 3 Methods, Models and Tools for Fault Tolerance
  5. Altmetric Badge
    Chapter 4 Design and Verification of Fault-Tolerant Components
  6. Altmetric Badge
    Chapter 5 Dynamically Detecting Faults via Integrity Constraints
  7. Altmetric Badge
    Chapter 6 Event-B Patterns for Specifying Fault-Tolerance in Multi-agent Interaction
  8. Altmetric Badge
    Chapter 7 Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systems
  9. Altmetric Badge
    Chapter 8 Formal Development of a Total Order Broadcast for Distributed Transactions Using Event-B
  10. Altmetric Badge
    Chapter 9 Model-Based Testing Using Scenarios and Event-B Refinements
  11. Altmetric Badge
    Chapter 10 Recording Process Documentation in the Presence of Failures
  12. Altmetric Badge
    Chapter 11 DREP: A Requirements Engineering Process for Dependable Reactive Systems
  13. Altmetric Badge
    Chapter 12 Documenting the Progress of the System Development
  14. Altmetric Badge
    Chapter 13 Fault Tolerance Requirements Analysis Using Deviations in the CORRECT Development Process
  15. Altmetric Badge
    Chapter 14 Methods, Models and Tools for Fault Tolerance
  16. Altmetric Badge
    Chapter 15 Using Inherent Service Redundancy and Diversity to Ensure Web Services Dependability
Attention for Chapter 10: Recording Process Documentation in the Presence of Failures
Altmetric Badge

Citations

dimensions_citation
5 Dimensions

Readers on

mendeley
2 Mendeley
Summary 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.
Chapter title
Recording Process Documentation in the Presence of Failures
Chapter number 10
Book title
Methods, Models and Tools for Fault Tolerance
Published by
Springer, Berlin, Heidelberg, January 2009
DOI 10.1007/978-3-642-00867-2_10
Book ISBNs
978-3-64-200866-5, 978-3-64-200867-2
Authors

Zheng Chen, Luc Moreau

View on publisher site
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 2 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 2 100%
Readers by discipline Count As %
Computer Science 1 50%
Unknown 1 50%

This page is provided by Altmetric.