Ontological reasoning for consistency in the design of cyber-physical systems

Ken Vanherpen, Joachim Denil, István Dávid, Paul De Meulenaere, Pieter J. Mosterman, Martin Törngren, Ahsan Qamar, Hans Vangheluwe. Ontological reasoning for consistency in the design of cyber-physical systems. In 1st International Workshop on Cyber-Physical Production Systems, CPPS@CPSWeek 2016, Vienna, Austria, April 12, 2016. pages 1-8, IEEE, 2016. [doi]

Abstract

Abstract is missing.