Towards a greater reliability of driver/device communication around the system life cycle through a contract-based protocol specification

Rafael Melo Macieira, Edna Barros. Towards a greater reliability of driver/device communication around the system life cycle through a contract-based protocol specification. IET Cyper-Phys. Syst.: Theory & Appl., 3(1):11-23, 2018. [doi]

Abstract

Abstract is missing.