Formal Fault Tolerant Architecture

Document type :
Proceedings
Title :
Formal Fault Tolerant Architecture
Publication date :
2010
HAL domain(s) :
Informatique [cs]
Language :
Anglais
Collections :
Source :
Harvested from HAL