A formal approach to system level design: metamodels and unified design environments.

Felice Balarin, Roberto Passerone, Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli

Browse the full MEMOCODE paper archive.