Co-design and refinement for safety critical ...

Document type :
Proceedings
DOI :
10.1109/DFTVS.2004.1347827
Title :
Co-design and refinement for safety critical systems
Publisher :
IEEE
Publication date :
2024-10-10
HAL domain(s) :
Informatique [cs]
Language :
Anglais
Collections :
Source :
Harvested from HAL