| ID | Holthusen:PrePost:2016 |
| Type | inProceedings - an article in a conference proceedings |
| Author | Holthusen, Sönke |
| Quinton, Sophie | |
| Schlatow, Johannes | |
| Schäfer, Ina | |
| Wegner, Martin | |
| IBR Author(s) | Martin Wegner |
| IBR Group(s) | CM (Prof. Wolf) |
| Project | ccc |
| Title | Using Multi-Viewpoint Contracts for Negotiation of Embedded Software Updates |
| Book Title | Pre- and Post-Deployment Verification Techniques (PrePost) |
| Year | 2016 |
| Month | June |
| Address | Reykjavik, Iceland |