A compositional framework for fault tolerance by specification transformation

Authors:
Doron Peled;Mathai Joseph
Affiliations:
AT&T Bell Labs., Murray Hill, NJ;Univ. of Warwick, Coventry, UK
Venue:
Theoretical Computer Science - Special issue on dependable parallel computing
Year:
1994

Citing 0
Cited 4

Designing Masking Fault-Tolerance via Nonmasking Fault-Tolerance

IEEE Transactions on Software Engineering
Modeling Faults of Distributed, Reactive Systems

FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
An approach to synthesise safe systems

International Journal of Security and Networks
Encapsulating deontic and branching time specifications

Theoretical Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract