A Set-Based Approach to Derive Contracts for Dynamic Behavior in Interconnected Systems.

Andreas Rauh, Friederike Bruns

Browse the full MMAR paper archive.