Martin De Wulf (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

7 Martin De Wulf, Laurent Doyen, Nicolas Markey, Jean-François Raskin: Robust safety of timed automata. Formal Methods in System Design 33(1-3): 45-84 (2008)

2 Martin De Wulf, Laurent Doyen, Nicolas Markey, Jean-François Raskin: Robustness and Implementability of Timed Automata. FORMATS/FTRTFT 2004: 118-133

Selection of 2 from 12 records - Martin De Wulf has 7 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

7		Martin De Wulf, Laurent Doyen, Nicolas Markey, Jean-François Raskin: Robust safety of timed automata. Formal Methods in System Design 33(1-3): 45-84 (2008)
2		Martin De Wulf, Laurent Doyen, Nicolas Markey, Jean-François Raskin: Robustness and Implementability of Timed Automata. FORMATS/FTRTFT 2004: 118-133