4 citations · 7 across the 2 of their papers we have counts for
1 paper · 1 filter
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…