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]
@article{FilhoHM11, title = {Contract Specification for Hardware Interoperability Testing and Fault Analysis}, author = {Roberto Silveira Silva Filho and Jürgen Hesser and Reinhard Männer}, year = {2011}, doi = {10.1109/TR.2011.2104472}, url = {http://dx.doi.org/10.1109/TR.2011.2104472}, tags = {contracts, testing, analysis}, researchr = {https://researchr.org/publication/FilhoHM11}, cites = {0}, citedby = {0}, journal = {IEEE Transactions on Reliability}, volume = {60}, number = {1}, pages = {351-362}, }