Preprint
Towards Certified Analysis of Software Product Line Safety Cases
Abstract
Safety-critical software systems are in many cases designed and implemented
as families of products, usually referred to as Software Product Lines (SPLs).
Authors
Shahin R; Kokaly S; Chechik M
Publication date
April 30, 2021
DOI
10.48550/arxiv.2105.00041
Preprint server
arXiv