Milan Copic, Rainer Leupers, Gerd Ascheid. Runnable Configuration in Mixed Classic/Adaptive AUTOSAR Systems by Leveraging Nondeterminism. In Francesco Leporati, Salvatore Vitabile, Amund Skavhaug, editors, 24th Euromicro Conference on Digital System Design, DSD 2021, Palermo, Spain, September 1-3, 2021. pages 418-425, IEEE, 2021. [doi]
Abstract is missing.