Omer Nguena Timo

Identifiers

• name variant Omer Nguena Timo 0.50 · backfill

Papers (1)

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