![]() | ![]() |
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] |