Modular Safety Cases for Product Lines Based on Assume-Guarantee Contracts.

Damir Nesic, Mattias Nyberg

Browse the full SAFECOMP paper archive.