Houssem Guissouma, Marc Schindewolf, Eric Sax. ICARUS - Incremental Design and Verification of Software Updates in Safety-Critical Product Lines. In Maria Teresa Baldassarre, Giuseppe Scanniello, Amund Skavhaug, editors, 47th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2021, Palermo, Italy, September 1-3, 2021. pages 371-378, IEEE, 2021. [doi]
Abstract is missing.