Change and Delay Contracts for Hybrid System Component Verification.

Andreas Mller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, Andr Platzer

Browse the full FASE paper archive.