Johanna Buchner, Marian Daun. Automated inconsistency detection and solution proposals in cyber-physical system networks. In 3rd International Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems, EITEC@CPSWeek 2016, Vienna, Austria, April 11, 2016. pages 35-40, IEEE Computer Society, 2016. [doi]
Abstract is missing.