Contract Specification for Hardware Interoperability Testing and Fault Analysis

Roberto Silveira Silva Filho, Jürgen Hesser, Reinhard Männer. Contract Specification for Hardware Interoperability Testing and Fault Analysis. IEEE Transactions on Reliability, 60(1):351-362, 2011. [doi]

Abstract

Abstract is missing.