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

Felice Balarin, Claudio Passerone, Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli. A formal approach to system level design: metamodels and unified design environments. In 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 11-14 July 2005, Verona, Italy, Proceedings. pages 155-163, IEEE, 2005. [doi]

Authors

Felice Balarin

This author has not been identified. Look up 'Felice Balarin' in Google

Claudio Passerone

This author has not been identified. Look up 'Claudio Passerone' in Google

Alessandro Pinto

This author has not been identified. Look up 'Alessandro Pinto' in Google

Alberto L. Sangiovanni-Vincentelli

This author has not been identified. Look up 'Alberto L. Sangiovanni-Vincentelli' in Google