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
Auteur principal : Herbreteau Frédéric (Auteur)
Collectivités auteurs : Université de Nantes 1962-2021 (Organisme de soutenance), Centrale Nantes 1991-.... (Autre partenaire associé à la thèse)
Autres auteurs : Roux Olivier Henri (Directeur de thèse), Cassez Franck (Directeur de 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.
Note de thèse : Thèse de doctorat : Automatique et informatique appliquée : Nantes : 2001
Disponibilité : Publication autorisée par le jury
Sujets :
Systèmes informatiques > Thèses et écrits académiques
Modèles mathématiques > Thèses et écrits académiques
Automates > Thèses et écrits académiques
Table des matières indisponible