Dimitri Prestat

Identifiers

• name variant Dimitri Prestat 0.50 · backfill

Papers (1)

1. Fault Detection for Timed FSM with Timeouts by Constraint Solving cs.SE · 2018 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Florent Avellaneda 1 shared papers
• Omer Nguena Timo 1 shared papers