Automates à file réactifs embarqués : application à la vérification de systèmes temps-réel

Automates à file réactifs embarqués : application à la vérification de systèmes temps-réel

Nous considérons dans notre thèse la vérification des programmes ELECTRE et des systèmes à file réactifs embarqués(SFR Embarqués). Ces formalismes permettent la modélisation des systèmes réactifs avec mémorisation, ainsi que leur environnement. L'une des propriétés étudiées est la bornitude de...

Description complète

Enregistré dans:
Détails bibliographiques
Auteurs principaux : Herbreteau Frédéric (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)
Format : Thèse ou mémoire
Langue : français
Titre complet : Automates à file réactifs embarqués : application à la vérification de systèmes temps-réel / Frédéric Herbreteau; [sous la dir. de] Olivier Roux et Franck Cassez
Publié : [S.l.] : [s.n.] , 2001
Description matérielle : 223 p.
Condition d'utilisation et de reproduction : Publication autorisée par le jury
Note de thèse : Thèse de doctorat : Automatique et informatique appliquée : Nantes : 2001
Sujets :
Systèmes informatiques
Modèles mathématiques
Automates
Thèses et écrits académiques
Particularités de l'exemplaire : BU Sciences, Ex. 1 :
Titre temporairement indisponible à la communication
BU Sciences, Ex. 2 :
Titre temporairement indisponible à la communication

BU Sciences

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

Bib. Centrale Nantes

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