Consortium of Swiss Academic Libraries

Robust safety of timed automata

De Wulf, Martin ; Doyen, Laurent ; Markey, Nicolas ; Raskin, Jean-François

In: Formal Methods in System Design, 2008, vol. 33, no. 1-3, p. 45-84