Nantilus
Le test des systèmes temps-réel paramétrés : application à la conception d'architectures avioniques
Les systèmes embarqués critiques doivent être soumis à une validation rigoureuse afin d'assurer leurs performances et leur sûreté de fonctionnement. Le test de conformité est l'activité permettant de s'assurer que le produit final correspond aux attentes de la spécification. Dans le c...
| Auteurs principaux : | , , |
|---|---|
| Collectivités auteurs : | , , , |
| Format : | Thèse ou mémoire |
| Langue : | français |
| Titre complet : | Le test des systèmes temps-réel paramétrés : application à la conception d'architectures avioniques / Armelle Prigent; sous la dir. d'Olivier Roux; co-encadrant Philippe Dhaussy |
| Publié : |
2003 |
| Description matérielle : | 1 vol. (158 p.) |
| Condition d'utilisation et de reproduction : | Publication autorisée par le jury |
| Note de thèse : | Thèse doctorat : Informatique : Nantes : 2003 |
| Sujets : | |
| Documents associés : | Reproduit comme:
Le test des systèmes temps-réel paramétrés |
| Particularités de l'exemplaire : | BU Sciences, Ex. 1 : Titre temporairement indisponible à la communication |
BU Sciences
| | Cote | Prêt | Statut |
|---|---|---|---|
| Communication impossible | 03 NANT 2097 | Empruntable | Disponible |
| Communication impossible | 03 NANT 2097 | Exclu du prêt | Disponible |
Bib. Centrale Nantes
| | Cote | Prêt | Statut |
|---|---|---|---|
| Magasin 3 | TH 2013 bis | Empruntable | Disponible |
| Magasin 3 | TH 2013 | Exclu du prêt | Disponible |