Contract-based specification of mode-dependent timing behavior

Janis Kröger, Björn Koopmann, Ingo Stierand, Martin Fränzle. Contract-based specification of mode-dependent timing behavior. ISSE, 20(1):31-47, March 2024. [doi]

Abstract

Abstract is missing.