Co-design and refinement for safety critical ...

Type de document :
Proceedings
DOI :
10.1109/DFTVS.2004.1347827
Titre :
Co-design and refinement for safety critical systems
Éditeur :
IEEE
Date de publication :
2004-11
Discipline(s) HAL :
Informatique [cs]
Langue :
Anglais
Collections :
Source :
Harvested from HAL