Scenario of fault by refinement

Document type :
Proceedings
Title :
Scenario of fault by refinement
Publisher :
IEEE
Publication date :
2006-04
HAL domain(s) :
Informatique [cs]
Language :
Anglais
Collections :
Source :
Harvested from HAL