202 citations · 222 across the 4 of their papers we have counts for
1 paper · 1 filter
Nathalie Bertrand, Thierry Jéron, Amélie Stainer +1
This article proposes novel off-line test generation techniques from non-deterministic timed automata with inputs and outputs (TAIOs) in the formal framework of the tioco conforman…