MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Are Timed Automata Updatable?" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

Are Timed Automata Updatable?
by Patricia Bouyer, Catherine Dufourd, E. Fleury, A. Petit, Patricia Bouyer, Catherine Dufourd, Emmanuel Fleury, Antoine Petit — 2000
…P. Bouyer, C. Dufourd, E. Fleury and A. Petit Are Timed Automata Updatable? Research Report LSV…
Cited by 29 (10 self) – Add To MetaCart

Updatable Timed Automata, an Algorithmic Approach
by P. Bouyer, Patricia Bouyer — 2001
…P. Bouyer Updatable Timed Automata, an Algorithmic Approach Research Report LSV-01-12, Dec. 2001…
Cited by 1 (0 self) – Add To MetaCart

A New Algorithm to Decide Emptiness of Updatable Timed Automata
by P. Bouyer, Patricia Bouyer — 2000 — Tech. Rep. LSV-009, LSV - ENS de Cachan
…P. Bouyer A New Algorithm to Decide Emptiness of Updatable Timed Automata Research Report LSV-00…
Cited by 1 (1 self) – Add To MetaCart

A Kleene/Büchi-like Theorem for Clock Languages
by Patricia Bouyer, Antoine Petit — 2001
… recognized by (updatable) timed automata. Keywords: Kleene Theorem, Timed languages 1. Introduction…
Cited by 7 (2 self) – Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB