Description et construction d'architectures opérationnelles validées temporellement

Description et construction d'architectures opérationnelles validées temporellement

Nos travaux visent le domaine des systèmes informatiques temps réel embarqués. Nous nous intéressons à leur conception de haut-niveau, en suivant une approche centrée sur l'architecture logicielle. Le langage CLARA, développé dans notre équipe de recherche, permet de décrire les systèmes temps...

Description complète

Détails bibliographiques
Auteurs principaux : Faucou Sébastien (Auteur), Trinquet Yvon (Directeur de thèse), Deplanche Anne-Marie (Directeur de thèse)
Collectivités auteurs : 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)
Format : Thèse ou mémoire
Langue : français
Titre complet : Description et construction d'architectures opérationnelles validées temporellement / Sébastien Faucou; sous la dir. d'Yvon Trinquet et Anne-Marie Déplanche
Publié : [S.l.] : [s.n.] , 2002
Description matérielle : 274 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 : 2002
Sujets :
Temps réel (informatique)
Composants logiciels
Thèses et écrits académiques
Documents associés : Reproduit comme: Description et construction d'architectures opérationnelles validées temporellement
Particularités de l'exemplaire : BU Sciences, Ex. 1 :
Titre temporairement indisponible à la communication

BU Sciences

Informations d'exemplaires de BU Sciences
‌ Cote Prêt Statut
Communication impossible 02 NANT 2099 Empruntable Disponible
Communication impossible 02 NANT 2099 Exclu du prêt Disponible