Omer Nguena Timo
Identifiers
- name variant Omer Nguena Timo 0.50 · backfill
Papers (1)
- Fault Detection for Timed FSM with Timeouts by Constraint Solving cs.SE · 2018 · author #1
Mentions
No mention provenance yet.
Frequent Coauthors
- Dimitri Prestat 1 shared papers
- Florent Avellaneda 1 shared papers