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