IBR Login
- Institute of Operating Systems and Computer Networks
- News
- About us
- Connected and Mobile Systems
- Distributed Systems
- Algorithms
- Microprocessor Lab
- Education
- Services
- Spin-Offs
- Research Cooperations
Using Multi-Viewpoint Contracts for Negotiation of Embedded Software Updates
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 |
last changed 2023-05-15, 15:11 by Webmaster