2008 | ||
---|---|---|
3 | EE | Sébastien Bardin, Philippe Herrmann: Structural Testing of Executables. ICST 2008: 22-31 |
1999 | ||
2 | EE | Philippe Herrmann: Renaming is Necessary in Timed Regular Expressions. FSTTCS 1999: 47-59 |
1998 | ||
1 | EE | Philippe Herrmann: Timed Automata and Recognizability. Inf. Process. Lett. 65(6): 313-318 (1998) |
1 | Sébastien Bardin | [3] |