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...

Full description

Saved in:
Bibliographic Details
Main Author : Briday Mikaël (Auteur)
Corporate Authors : Université de Nantes 1962-2021 (Organisme de soutenance), École doctorale sciences et technologies de l'information et des matériaux Nantes (Ecole doctorale associée à la thèse)
Other Authors : Trinquet Yvon (Directeur de thèse), Béchennec Jean-Luc (Directeur de thèse)
Format : Thesis
Language : français
Title statement : 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
Published : [S.l.] : [s.n.] , 2004
Physical Description : 171 p.
Note de thèse : Thèse doctorat : Automatique et informatique appliquée : Nantes : 2004
Availability : Publication autorisée par le jury
Subjects :

BU Sciences

Holdings details from BU Sciences
Location Call Number Loan type Status
Magasin aérotherme 2004 NANT 2097 Empruntable Available
Magasin aérotherme 2004 NANT 2097 Exclu du prêt Disponible

Bib. Centrale Nantes

Holdings details from Bib. Centrale Nantes
Location Call Number Loan type Status
Magasin 3 TH 2074 bis Empruntable Available
Magasin 3 TH 2074 Exclu du prêt Disponible