BCL: A compositional contract language for embedded systems

Orlando Ferrante, Roberto Passerone, Alberto Ferrari, Leonardo Mangeruca, Christos Sofronis. BCL: A compositional contract language for embedded systems. In Antoni Grau, Herminio Martínez, editors, Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, ETFA 2014, Barcelona, Spain, September 16-19, 2014. pages 1-6, IEEE, 2014. [doi]

Abstract

Abstract is missing.