Formal Fault Tolerant Architecture

Type de document :
Proceedings
Titre :
Formal Fault Tolerant Architecture
Date de publication :
2010
Discipline(s) HAL :
Informatique [cs]
Langue :
Anglais
Collections :
Source :
Harvested from HAL