| |
| 2008 | ||
|---|---|---|
| 2 | EE | Basil Becker, Holger Giese: On Safe Service-Oriented Real-Time Coordination for Autonomous Vehicles. ISORC 2008: 203-210 |
| 2006 | ||
| 1 | EE | Basil Becker, Dirk Beyer, Holger Giese, Florian Klein, Daniela Schilling: Symbolic invariant verification for systems with dynamic structural adaptation. ICSE 2006: 72-81 |
| 1 | Dirk Beyer | [1] |
| 2 | Holger Giese | [1] [2] |
| 3 | Florian Klein | [1] |
| 4 | Daniela Schilling | [1] |