Les automates temporisés avec mises à jour - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 2002

Timed Automata with Updates

Les automates temporisés avec mises à jour

Emmanuel Fleury
Laboratoire Bordelais de Recherche en Informatique

Résumé

Timed automata with updates.
Les automates temporisés avec mises à jour.

Domaines

Mathématiques [math]
Fichier principal
Vignette du fichier
fleury-phd02.pdf (1 Mo) Télécharger le fichier

Emmanuel Fleury  : Connectez-vous pour contacter le contributeur

https://theses.hal.science/tel-00350492

Soumis le : mardi 6 janvier 2009-19:27:59

Dernière modification le : vendredi 19 avril 2024-15:35:11

Archivage à long terme le : mardi 8 juin 2010-17:06:53

Télécharger pour visualiser

Dates et versions

tel-00350492 , version 1 (06-01-2009)

Identifiants

  • HAL Id : tel-00350492 , version 1

Citer

Emmanuel Fleury. Les automates temporisés avec mises à jour. Mathématiques [math]. École normale supérieure de Cachan - ENS Cachan, 2002. Français. ⟨NNT : ⟩. ⟨tel-00350492⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS
190 Consultations
1470 Téléchargements

Partager

Gmail Facebook X LinkedIn More