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

Luca Benvenuti, Alberto Ferrari, Leonardo Mangeruca, Emanuele Mazzi, Roberto Passerone, Christos Sofronis

Browse the full FDL paper archive.