88 citations · 339 across the 67 of their papers we have counts for
1 paper · 2 filters
Étienne André, Masaki Waga, Natsuki Urabe +1
Specifying properties can be challenging work. In this paper, we propose an automated approach to exemplify properties given in the form of automata extended with timing constraint…