99 citations · 174 across the 12 of their papers we have counts for
1 paper · 2 filters
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…