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

Using Multi-Viewpoint Contracts for Negotiation of Embedded Software Updates

IDHolthusen:PrePost:2016
TypinProceedings - Artikel in einem Konferenzband
AutorHolthusen, Sönke
Quinton, Sophie
Schlatow, Johannes
Schäfer, Ina
Wegner, Martin
IBR Autor(en)Martin Wegner
IBR Gruppe(n)CM (Prof. Wolf)
TitelUsing Multi-Viewpoint Contracts for Negotiation of Embedded Software Updates
BuchtitelPre- and Post-Deployment Verification Techniques (PrePost)
Jahr2016
MonatJuni
AnschriftReykjavik, Iceland

aktualisiert am 26.10.2017, 11:12 von Webmaster
printemailtop