Formal Fault Tolerant Architecture

Document type :
Proceedings
DOI :
10.1109/CTRQ.2010.20
Title :
Formal Fault Tolerant Architecture
Publisher :
IEEE
Publication date :
2010
HAL domain(s) :
Informatique [cs]
Language :
Anglais
Collections :
Source :
Harvested from HAL