Searching for authors named "Thomas Chatain" – sorted by Relevance.
-
Symbolic Diagnosis of Partially Observable Concurrent Systems
- Symbolic Diagnosis of Partially Observable Concurrent Systems ∗ Thomas Chatain Claude Jard † IRISA
- Cited by 1 (0 self) – Add To MetaCart
-
Symbolic Unfoldings for Networks of Timed Automata
- Symbolic Unfoldings For Networks of Timed Automata Franck Cassez 1⋆ , Thomas Chatain 2 and Claude
- Cited by 2 (0 self) – Add To MetaCart
-
Operations
- RP ’08 A Generalisation Method for Parametric Timed Automata Étienne André Thomas Chatain
- Add To MetaCart
-
found at the ENTCS Macro Home Page. An Inverse Method for Parametric Timed Automata
- André, Thomas Chatain, Laurent Fribourg 1 LSV – ENS de Cachan & CNRS, France Emmanuelle Encrenaz 2 LIP6
- Add To MetaCart

