Co-design and refinement for safety critical ...
Document type :
Proceedings
Title :
Co-design and refinement for safety critical systems
Publisher :
IEEE
Publication date :
2004-11
HAL domain(s) :
Informatique [cs]
Language :
Anglais
Source :