29 citations · 102 across the 28 of their papers we have counts for
1 paper · 1 filter
Hossein Hojjat, Philipp Rümmer, Pavle Subotic +1
Languages based on the theory of timed automata are a well established approach for modelling and analysing real-time systems, with many applications both in industrial and academi…