35 citations · 70 across the 9 of their papers we have counts for
1 paper · 2 filters
Béatrice Bérard, Serge Haddad, Mathieu Sassolas
We introduce the class of Interrupt Timed Automata (ITA), a subclass of hybrid automata well suited to the description of timed multi-task systems with interruptions in a single pr…