Component Assemblies in the context of Manycore
Ananda Basu, Saddek Bensalem, Marius Bozga, Paraskevas Burgos and Joseph Sifakis.
Presentation at Software Technologies Concertation on Formal Methods for Components and Objects, FMCO 2011, Torino, Italy.
October 1st, 2011 in
Publication
