Houssem Guissouma, Simon Leiner, Eric Sax. Towards Design and Verification of Evolving Cyber Physical Systems Using Contract-Based Methodology. In International Symposium on Systems Engineering, ISSE 2019, Edinburgh, United Kingdom, October 1-3, 2019. pages 1-8, IEEE, 2019. [doi]
Abstract is missing.