Ontological Reasoning as an Enabler of Contract-Based Co-design

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]

Authors

Ken Vanherpen

This author has not been identified. Look up 'Ken Vanherpen' in Google

Joachim Denil

This author has not been identified. Look up 'Joachim Denil' in Google

Paul De Meulenaere

This author has not been identified. Look up 'Paul De Meulenaere' in Google

Hans Vangheluwe

This author has not been identified. It may be one of the following persons: Look up 'Hans Vangheluwe' in Google