Diagnostics as a Reasoning Process: From Logic Structure to Software Design

Matteo Cristani, Francesco Olivieri, Claudio Tomazzoli, Luca ViganĂ² 0001, Margherita Zorzi. Diagnostics as a Reasoning Process: From Logic Structure to Software Design. CIT, 27(1):43-57, 2019. [doi]

Abstract

Abstract is missing.