TU BRAUNSCHWEIG
| Carl-Friedrich-Gauß-Fakultät | Informatik
Informatikzentrum

Using Multi-Viewpoint Contracts for Negotiation of Embedded Software Updates

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)
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

aktualisiert am 20.09.2017, 09:40 von Webmaster
printemailtop