英文名称2024 22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design (MEMOCODE)

届数第22届

开始时间2024-10-03

结束时间2024-10-04

举办地点Raleigh, North Carolina, USA

主办单位Association for Computing Machinery - ACM; IEEE Circuits and Systems Society; IEEE Council on Electronic Design Automation