Simulation efficace d architectures opérationnelles
Le travail de cette thèse s inscrit dans le contexte des systèmes embarqués temps réel. Ces systèmes exigent d importants efforts pour leur validation et leur vérification. Dans le cadre de cette thèse, nous nous intéressons plus particulièrement à la validation par simulation. Celle-ci peut se fair...
Enregistré dans:
Auteurs principaux : | , , , , |
---|---|
Collectivités auteurs : | , , , |
Format : | Thèse ou mémoire |
Langue : | français anglais |
Titre complet : | Simulation efficace d architectures opérationnelles / Adrien Bullich; sous la direction de Yvon Trinquet |
Publié : |
[Lieu de publication inconnu] :
[éditeur inconnu]
, 2014 |
Description matérielle : | 1 vol. (107 p.) |
Condition d'utilisation et de reproduction : | Publication autorisée par le jury |
Note de thèse : | Thèse de doctorat : Informatique et applications : Nantes : 2014 |
Sujets : | |
Documents associés : | Reproduit comme:
Simulation efficace d architectures opérationnelles |
Particularités de l'exemplaire : | BU Sciences, Ex. 1 : Titre temporairement indisponible à la communication |
BU Sciences
| Cote | Prêt | Statut |
---|---|---|---|
Communication impossible | 2014 NANT 2053 | Empruntable | Disponible |
Communication impossible | 2014 NANT 2053 | Exclu du prêt | Disponible |