Runnable Configuration in Mixed Classic/Adaptive AUTOSAR Systems by Leveraging Nondeterminism.

Milan Copic, Rainer Leupers, Gerd Ascheid

Browse the full DSD paper archive.