Formal and Fault Tolerant Design

Type de document :
Proceedings
Titre :
Formal and Fault Tolerant Design
Date de publication :
2012-07
Discipline(s) HAL :
Informatique [cs]
Langue :
Anglais
Collections :
Source :
Harvested from HAL