22 citations · 22 across the 1 of their papers we have counts for
1 paper
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…