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). 142-147 2008 FDL http://dx.doi.org/10.1109/FDL.2008.4641436 conf/fdl/2008 db/conf/fdl/fdl2008.html#BenvenutiFMMPS08