| |
| 2007 | ||
|---|---|---|
| 2 | EE | Rasmus Adler, Marc Forster, Mario Trapp: Determining Configuration Probabilities of Safety-Critical Adaptive Systems. AINA Workshops (2) 2007: 548-555 |
| 1 | EE | Rasmus Adler, Ina Schaefer, Tobias Schüle, Eric Vecchié: From Model-Based Design to Formal Verification of Adaptive Embedded Systems. ICFEM 2007: 76-95 |
| 1 | Marc Forster | [2] |
| 2 | Ina Schaefer | [1] |
| 3 | Tobias Schüle | [1] |
| 4 | Mario Trapp | [2] |
| 5 | Eric Vecchié | [1] |