Nantilus
Validation par simulation fine d'une architecture opérationnelle
La validation des systèmes temps réels est une activité indispensable car les conséquences d'une erreur peuvent être catastrophiques. L'approche choisie dans cette thèse se situe en fin du cycle de développement, lorsque le logiciel applicatif est disponible. L'objectif visé est la si...
Enregistré dans:
| Auteurs principaux : | , , |
|---|---|
| Collectivités auteurs : | , |
| Format : | Thèse ou mémoire |
| Langue : | français |
| Titre complet : | Validation par simulation fine d'une architecture opérationnelle / Mikaël Briday; sous la dir. d' Yvon Trinquet, co-encadrant Jean-Luc Béchennec et co-encadrant industriel Matthieu Peseux |
| Publié : |
[S.l.] :
[s.n.]
, 2004 |
| Description matérielle : | 171 p. |
| Condition d'utilisation et de reproduction : | Publication autorisée par le jury |
| Note de thèse : | Thèse doctorat : Automatique et informatique appliquée : Nantes : 2004 |
| Sujets : | |
| Documents associés : | Reproduit comme:
Validation par simulation fine d'une architecture opérationnelle |
| Particularités de l'exemplaire : | BU Sciences, Ex. 1 : Titre temporairement indisponible à la communication |
BU Sciences
| | Cote | Prêt | Statut |
|---|---|---|---|
| Communication impossible | 2004 NANT 2097 | Empruntable | Disponible |
| Communication impossible | 2004 NANT 2097 | Exclu du prêt | Disponible |
Bib. Centrale Nantes
| | Cote | Prêt | Statut |
|---|---|---|---|
| Magasin 3 | TH 2074 bis | Empruntable | Disponible |
| Magasin 3 | TH 2074 | Exclu du prêt | Disponible |