Handling of Operating Modes in Contract-Based Timing Specifications.

Janis Krger, Bjrn Koopmann, Ingo Stierand, Nadra Tabassam, Martin Frnzle

Browse the full VECoS paper archive.