8 citations · 13 across the 3 of their papers we have counts for
1 paper · 2 filters
Piotr Kordy, Rom Langerak, Jan Willem Polderman
The timed automata formalism is an important model for specifying and analysing real-time systems. Robustness is the correctness of the model in the presence of small drifts on clo…