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

Damir Nesic Mattias Nyberg

Published in: SAFECOMP Workshops (2019)

Keyphrases

product lines
product line
artificial intelligence
real world
case study
data model
software development
case base