Filtrer vos résultats
- 1
- 1
- 1
- 1
- 1
- 1
- 1
1 résultat
|
|
triés par
|
|
Modélisation des systèmes temps-réel embarqués en utilisant AADL pour la génération automatique d'applications formellement vérifiéesInformatique [cs]. Université Joseph-Fourier - Grenoble I, 2010. Français. ⟨NNT : ⟩
Thèse
tel-00516152v1
|