@techreport{saridakis:inria-00073339, TITLE = {{Fault Tolerant Software Architectures}}, AUTHOR = {Saridakis, Titos and Issarny, Val{\'e}rie}, URL = {https://inria.hal.science/inria-00073339}, TYPE = {Research Report}, NUMBER = {RR-3350}, INSTITUTION = {{INRIA}}, YEAR = {1998}, KEYWORDS = {ARCHITECTURE REFINEMENT ; FAULT TOLERANCE ; FORMAL SPECIFICATIONS ; SOFTWARE ARCHITECTURES}, PDF = {https://inria.hal.science/inria-00073339/file/RR-3350.pdf}, HAL_ID = {inria-00073339}, HAL_VERSION = {v1}, }