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