Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Tese
|
![]() |
Génération stratégique de code pour la maîtrise des performances de systèmes temps-réel embarquésCadoret, FabienSem texto completo |
2 |
Material Type: Tese
|
![]() |
Une approche intégrée pour la validation et la génération de systèmes critiques par raffinement incrémental de modèles architecturauxLasnier, GillesSem texto completo |
3 |
Material Type: Tese
|
![]() |
Intégration de la sécurité et de la sûreté de fonctionnement dans la construction d'intergiciels critiquesDelange, JulienTélécom ParisTechTexto completo disponível |