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 : |
|
Nantilus
