A Contract-based Formalism for the Specification of Heterogeneous Systems (invited)

Luca Benvenuti, Alberto Ferrari, Leonardo Mangeruca, Emanuele Mazzi, Roberto Passerone, Christos Sofronis. A Contract-based Formalism for the Specification of Heterogeneous Systems (invited). In Forum on specification and Design Languages, FDL 2008, September 23-25, 2008, Stuttgart, Germany, Proceedings. pages 142-147, IEEE, 2008. [doi]

Abstract

Abstract is missing.