Formal Methods and Models for Codesign (MEMOCODE), 2011 9th IEEE/ACM International Conference on

Bok · Engelsk

Annen tittel	Formal Methods and Models for Codesign
ISBN	1-4577-0117-0