Timed Automata with Updates

Les automates temporisés avec mises à jour

Emmanuel Fleury (1)

1 LaBRI - Laboratoire Bordelais de Recherche en Informatique

Timed automata with updates.

Les automates temporisés avec mises à jour.

Keywords: automates temporisés

Keywords: timed automata

Domains: Mathematics [math]

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⟩