Formal Fault Tolerant Architecture

Type de document :
Proceedings
DOI :
10.1109/CTRQ.2010.20
Titre :
Formal Fault Tolerant Architecture
Éditeur :
IEEE
Date de publication :
2010
Discipline(s) HAL :
Informatique [cs]
Langue :
Anglais
Collections :
Source :
Harvested from HAL