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