| |
| 2008 | ||
|---|---|---|
| 2 | EE | Achim D. Brucker, Lukas Brügger, Burkhart Wolff: Model-Based Firewall Conformance Testing. TestCom/FATES 2008: 103-118 |
| 1 | EE | Achim D. Brucker, Lukas Brügger, Burkhart Wolff: Verifying Test-Hypotheses: An Experiment in Test and Proof. Electr. Notes Theor. Comput. Sci. 220(1): 15-27 (2008) |
| 1 | Achim D. Brucker | [1] [2] |
| 2 | Burkhart Wolff | [1] [2] |