その他のタイトル2013 11th IEEE/ACM international conference on formal methods and models for codesign : (MEMOCODE 2013) : Portland, Oregon, USA : 18-20 October 2013.
一般注記Selected papers and abstracts.
Described as "MEMOCODE 2013 will take place on October 18 and 19, (...) we organized a joint tutorial day on Sunday October 20, 2013." -- p. vii.
IEEE cat no CFP13MCD-POD.
書誌注記Includes bibliographic references.