20 citations · 28 across the 4 of their papers we have counts for
1 paper · 2 filters
Johan Arcile, Étienne André
Timed automata (TAs) are an efficient formalism to model and verify systems with hard timing constraints, and concurrency. While TAs assume exact timing constants with infinite pre…