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

Bok · Engelsk

Annen tittel	Formal Methods and Models for Codesign . - Mobile Data Management
ISBN	1-4673-1314-9