Scenario of fault by refinement

Type de document :
Proceedings
Titre :
Scenario of fault by refinement
Éditeur :
IEEE
Date de publication :
2006-04
Discipline(s) HAL :
Informatique [cs]
Langue :
Anglais
Collections :
Source :
Harvested from HAL