Andreas Müller 0002, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, André Platzer. Change and Delay Contracts for Hybrid System Component Verification. In Marieke Huisman, Julia Rubin, editors, Fundamental Approaches to Software Engineering - 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings. Volume 10202 of Lecture Notes in Computer Science, pages 134-151, Springer, 2017. [doi]
Abstract is missing.