default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMethods, Models and Tools for Fault Tolerance 2009
- Michael J. Butler
, Cliff B. Jones, Alexander B. Romanovsky, Elena Troubitsyna:
Methods, Models and Tools for Fault Tolerance. Lecture Notes in Computer Science 5454, Springer 2009, ISBN 978-3-642-00866-5
Formal Reasoning about Fault Tolerant Systems and Protocols
- Ansgar Fehnker, Matthias Fruth, Annabelle McIver:
Graphical Modelling for Simulation and Formal Analysis of Wireless Network Protocols. 1-24 - Pablo F. Castro, T. S. E. Maibaum:
Reasoning about System-Degradation and Fault-Recovery with Deontic Logic. 25-43 - Michael Fisher, Boris Konev, Alexei Lisitsa:
Temporal Verification of Fault-Tolerant Protocols. 44-56 - Miaomiao Zhang, Zhiming Liu, Charles Morisset, Anders P. Ravn:
Design and Verification of Fault-Tolerant Components. 57-84 - Ian J. Hayes:
Dynamically Detecting Faults via Integrity Constraints. 85-103
Fault Tolerance: Modelling in B
- Elisabeth Ball, Michael J. Butler:
Event-B Patterns for Specifying Fault-Tolerance in Multi-agent Interaction. 104-129 - Linas Laibinis, Elena Troubitsyna, Sari Leppänen:
Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systems. 130-151 - Divakar Yadav, Michael J. Butler:
Formal Development of a Total Order Broadcast for Distributed Transactions Using Event-B. 152-176 - Qaisar A. Malik, Johan Lilius, Linas Laibinis:
Model-Based Testing Using Scenarios and Event-B Refinements. 177-195
Fault Tolerance in System Development Process
- Zheng Chen, Luc Moreau:
Recording Process Documentation in the Presence of Failures. 196-219 - Sadaf Mustafiz, Jörg Kienzle:
DREP: A Requirements Engineering Process for Dependable Reactive Systems. 220-250 - Marta Plaska, Marina Waldén, Colin F. Snook:
Documenting the Progress of the System Development. 251-274 - Andrey Berlizev, Nicolas Guelfi:
Fault Tolerance Requirements Analysis Using Deviations in the CORRECT Development Process. 275-296
Fault Tolerant Applications
- Alexei Iliasov, Budi Arief, Alexander B. Romanovsky:
Step-Wise Development of Resilient Ambient Campus Scenarios. 297-323 - Anatoliy Gorbenko, Vyacheslav S. Kharchenko, Alexander B. Romanovsky:
Using Inherent Service Redundancy and Diversity to Ensure Web Services Dependability. 324-341
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-08 20:42 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
