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

Bok · Engelsk

ISBN	1-4244-7885-5