Nantilus
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...
| Auteurs principaux : | , , |
|---|---|
| Collectivités auteurs : | , |
| 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 : | |
| 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
| | Cote | Prêt | Statut |
|---|---|---|---|
| Communication impossible | 01 NANT 2090 | Empruntable | Disponible |
| Communication impossible | 01 NANT 2090 | Exclu du prêt | Disponible |
Bib. Centrale Nantes
| | Cote | Prêt | Statut |
|---|---|---|---|
| Magasin 3 | Th.1938 bis | Empruntable | Disponible |
| Magasin 3 | Th.1938 | Exclu du prêt | Disponible |