Abstract is missing.
- Graphical Modelling for Simulation and Formal Analysis of Wireless Network ProtocolsAnsgar Fehnker, Matthias Fruth, Annabelle McIver. 1-24 [doi]
- Reasoning about System-Degradation and Fault-Recovery with Deontic LogicPablo F. Castro, T. S. E. Maibaum. 25-43 [doi]
- Temporal Verification of Fault-Tolerant ProtocolsMichael Fisher, Boris Konev, Alexei Lisitsa. 44-56 [doi]
- Design and Verification of Fault-Tolerant ComponentsMiaomiao Zhang, Zhiming Liu, Charles Morisset, Anders P. Ravn. 57-84 [doi]
- Dynamically Detecting Faults via Integrity ConstraintsIan J. Hayes. 85-103 [doi]
- Event-B Patterns for Specifying Fault-Tolerance in Multi-agent InteractionElisabeth Ball, Michael Butler. 104-129 [doi]
- Formal Reasoning about Fault Tolerance and Parallelism in Communicating SystemsLinas Laibinis, Elena Troubitsyna, Sari Leppänen. 130-151 [doi]
- Formal Development of a Total Order Broadcast for Distributed Transactions Using Event-BDivakar Yadav, Michael Butler. 152-176 [doi]
- Model-Based Testing Using Scenarios and Event-B RefinementsQaisar A. Malik, Johan Lilius, Linas Laibinis. 177-195 [doi]
- Recording Process Documentation in the Presence of FailuresZheng Chen, Luc Moreau. 196-219 [doi]
- DREP: A Requirements Engineering Process for Dependable Reactive SystemsSadaf Mustafiz, Jörg Kienzle. 220-250 [doi]
- Documenting the Progress of the System DevelopmentMarta Plaska, Marina A. Waldén, Colin F. Snook. 251-274 [doi]
- Fault Tolerance Requirements Analysis Using Deviations in the CORRECT Development ProcessAndrey Berlizev, Nicolas Guelfi. 275-296 [doi]
- Step-Wise Development of Resilient Ambient Campus ScenariosAlexei Iliasov, Budi Arief, Alexander Romanovsky. 297-323 [doi]
- Using Inherent Service Redundancy and Diversity to Ensure Web Services DependabilityAnatoliy Gorbenko, Vyacheslav S. Kharchenko, Alexander Romanovsky. 324-341 [doi]