| ID | Holthusen:PrePost:2016 |
| Typ | inProceedings - Artikel in einem Konferenzband |
| Autor | Holthusen, Sönke |
| Quinton, Sophie | |
| Schlatow, Johannes | |
| Schäfer, Ina | |
| Wegner, Martin | |
| IBR Autor(en) | Martin Wegner |
| IBR Gruppe(n) | CM (Prof. Wolf) |
| Projekt | ccc |
| Titel | Using Multi-Viewpoint Contracts for Negotiation of Embedded Software Updates |
| Buchtitel | Pre- and Post-Deployment Verification Techniques (PrePost) |
| Jahr | 2016 |
| Monat | Juni |
| Anschrift | Reykjavik, Iceland |