Challenges in Automotive Hardware-Software Co-Configuration. - Florian Jost; Carsten Sinz (ConfWS, 2024)

Handling Automotive Hardware/Software Co-Configurations with Integer Difference Logic. - Florian Jost; Carsten Sinz (VaMoS, 2024)