Fault Detection in Timed FSM with Timeouts by SAT-Solving.

Omer Nguena Timo, Dimitri Prestat, Florent Avellaneda

Browse the full QRS paper archive.