Assuring Degradation Cascades of Car Platoons via Contracts.

Irfan Sljivo, Barbara Gallina, Bernhard Kaiser

Browse the full SAFECOMP paper archive.