Methods, Models and Tools for Fault Tolerance - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

15

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642008665, 9783642008672

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Formal Development of a Total Order Broadcast for Distributed Transactions Using Event-B

Methods, Models and Tools for Fault Tolerance - Lecture Notes in Computer Science ◽

10.1007/978-3-642-00867-2_8 ◽

2009 ◽

pp. 152-176 ◽

Author(s):

Divakar Yadav ◽

Michael Butler

Keyword(s):

Total Order ◽

Distributed Transactions ◽

Formal Development

Download Full-text

Model-Based Testing Using Scenarios and Event-B Refinements

Methods, Models and Tools for Fault Tolerance - Lecture Notes in Computer Science ◽

10.1007/978-3-642-00867-2_9 ◽

2009 ◽

pp. 177-195 ◽

Author(s):

Qaisar A. Malik ◽

Johan Lilius ◽

Linas Laibinis

Keyword(s):

Model Based ◽

Model Based Testing

Download Full-text

Reasoning about System-Degradation and Fault-Recovery with Deontic Logic

Methods, Models and Tools for Fault Tolerance - Lecture Notes in Computer Science ◽

10.1007/978-3-642-00867-2_2 ◽

2009 ◽

pp. 25-43 ◽

Author(s):

Pablo F. Castro ◽

T. S. E. Maibaum

Keyword(s):

Deontic Logic ◽

Download Full-text

Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systems

Methods, Models and Tools for Fault Tolerance - Lecture Notes in Computer Science ◽

10.1007/978-3-642-00867-2_7 ◽

2009 ◽

pp. 130-151 ◽

Author(s):

Linas Laibinis ◽

Elena Troubitsyna ◽

Sari Leppänen

Keyword(s):

Fault Tolerance ◽

Formal Reasoning

Download Full-text

Temporal Verification of Fault-Tolerant Protocols

Methods, Models and Tools for Fault Tolerance - Lecture Notes in Computer Science ◽

10.1007/978-3-642-00867-2_3 ◽

2009 ◽

pp. 44-56 ◽

Author(s):

Michael Fisher ◽

Boris Konev ◽

Alexei Lisitsa

Keyword(s):

Download Full-text

Design and Verification of Fault-Tolerant Components

Methods, Models and Tools for Fault Tolerance - Lecture Notes in Computer Science ◽

10.1007/978-3-642-00867-2_4 ◽

2009 ◽

pp. 57-84 ◽

Author(s):

Miaomiao Zhang ◽

Zhiming Liu ◽

Charles Morisset ◽

Anders P. Ravn

Keyword(s):

Download Full-text

Using Inherent Service Redundancy and Diversity to Ensure Web Services Dependability

Methods, Models and Tools for Fault Tolerance - Lecture Notes in Computer Science ◽

10.1007/978-3-642-00867-2_15 ◽

2009 ◽

pp. 324-341 ◽

Author(s):

Anatoliy Gorbenko ◽

Vyacheslav Kharchenko ◽

Alexander Romanovsky

Keyword(s):

Download Full-text

Documenting the Progress of the System Development

Methods, Models and Tools for Fault Tolerance - Lecture Notes in Computer Science ◽

10.1007/978-3-642-00867-2_12 ◽

2009 ◽

pp. 251-274 ◽

Author(s):

Marta Pląska ◽

Marina Waldén ◽

Colin Snook

Keyword(s):

System Development

Download Full-text

Recording Process Documentation in the Presence of Failures

Methods, Models and Tools for Fault Tolerance - Lecture Notes in Computer Science ◽

10.1007/978-3-642-00867-2_10 ◽

2009 ◽

pp. 196-219

Author(s):

Zheng Chen ◽

Luc Moreau

Keyword(s):

Recording Process ◽

Process Documentation

Download Full-text

Event-B Patterns for Specifying Fault-Tolerance in Multi-agent Interaction

Methods, Models and Tools for Fault Tolerance - Lecture Notes in Computer Science ◽

10.1007/978-3-642-00867-2_6 ◽

2009 ◽

pp. 104-129 ◽

Author(s):

Elisabeth Ball ◽

Michael Butler

Keyword(s):

Fault Tolerance ◽

Agent Interaction ◽

Download Full-text