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]
@inproceedings{VanherpenDMV16,
title = {Ontological Reasoning as an Enabler of Contract-Based Co-design},
author = {Ken Vanherpen and Joachim Denil and Paul De Meulenaere and Hans Vangheluwe},
year = {2016},
doi = {10.1007/978-3-319-51738-4_8},
url = {http://dx.doi.org/10.1007/978-3-319-51738-4_8},
researchr = {https://researchr.org/publication/VanherpenDMV16},
cites = {0},
citedby = {0},
pages = {101-115},
booktitle = {Cyber Physical Systems. Design, Modeling, and Evaluation - 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers},
editor = {Christian Berger 0001 and Mohammad Reza Mousavi and Rafael Wisniewski},
volume = {10107},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-51737-7},
}