Extension temps réel d'AltaRica

Extension temps réel d'AltaRica

Résumé : Ce travail s'inscrit dans la continuité de l'étude du langage de description de systèmes AltaRica. Ce langage, développé au Labri, permet de modéliser des systèmes réels de manière hiérarchique. L'objectif de la thèse est d'introduire le temps quantitatif dans le but de...

Description complète

Enregistré dans:
Détails bibliographiques
Auteurs principaux : Pagetti Claire (Auteur), Roux Olivier-Henri (Directeur de thèse), Cassez Franck (Directeur de thèse)
Collectivités auteurs : Université de Nantes 1962-2021 (Organisme de soutenance), Centrale Nantes 1991-.... (Autre partenaire associé à la thèse), É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 : Extension temps réel d'AltaRica / Claire Pagetti; sous la dir. d'Olivier Roux; co-encadrant Franck Cassez
Publié : [S.l.] : [s.n.] , 2004
Description matérielle : 167 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 :
Systèmes informatiques > Modèles mathématiques
Thèses et écrits académiques
Documents associés : Autre format: Extension temps réel d'AltaRica
Reproduit comme: Extension temps réel d'AltaRica
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 2004 NANT 2114 Empruntable Disponible
Communication impossible 2004 NANT 2114 Exclu du prêt Disponible

Bib. Centrale Nantes

Informations d'exemplaires de Bib. Centrale Nantes
‌ Cote Prêt Statut
Magasin 3 TH 2086 bis Empruntable Disponible
Magasin 3 TH 2086 Exclu du prêt Disponible