Ken Vanherpen, Joachim Denil, Paul De Meulenaere, Hans Vangheluwe. Ontological Reasoning as an Enabler of Contract-Based Co-design. In Christian Berger 0001, Mohammad Reza Mousavi, Rafael Wisniewski, editors, Cyber Physical Systems. Design, Modeling, and Evaluation - 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers. Volume 10107 of Lecture Notes in Computer Science, pages 101-115, Springer, 2016. [doi]
Abstract is missing.