Rigorous system level modeling and analysis of mixed HW/SW systems.

Paraskevas Bourgos, Ananda Basu, Marius Bozga, Saddek Bensalem, Joseph Sifakis, Kai Huang

Browse the full MEMOCODE paper archive.