6 citations · 14 across the 5 of their papers we have counts for
1 paper · 2 filters
Lars Luthmann, Hendrik Göttmann, Isabelle Bacher +1
Timed automata (TA) are a well-established formalism for specifying discrete-state/continuous-time behavior of time-critical reactive systems. Concerning the fundamental analysis p…