| Other author/creator | IEEE Circuits and Systems Society. |
| Other author/creator | IEEE Computer Society. Design Automation Technical Committee. |
| Other author/creator | ACM Special Interest Group on Design Automation. |
| Other author/creator | IEEE Council on Electronic Design Automation. |
| Other author/creator | Association for Computing Machinery. Special Interest Group on Embedded Systems. |
| Other author/creator | IEEE Xplore (Online service) |
| Uniform title | Proceedings (Online) |
| Other title |
MEMOCODE |
| Variant title |
Also called: Formal Methods and Models for Co-Design (MEMOCODE), ACM and IEEE International Conference on |
| Frequency | Annual |
| Access restriction | Available only to authorized users. |
| Other forms | Also available in print. |
| Technical details | Mode of access: World Wide Web. |
| Issuing body | Sponsored by: IEEE Circuits and Systems Society; IEEE Computer Society Design Automation Technical Committee, 2003-2005; ACM Special Interest Group on Design Automation; IEEE Council on Electronic Design Automation, 2006-<2008>; ACM Special Interest Group on Embedded Systems, 2007-<2008>. |
| Source of description | Description based on first issue; title from PDF of title page (IEEExplore, viewed July 21, 2008). |
| Source of description | Latest issue consulted: 6th (June 5-7, 2008), PDF of title page (IEEExplore, viewed July 21, 2008). |
| Issued in other form | Print version: ACM and IEEE International Conference on Formal Methods and Models for Co-Design. Proceedings 1936-9492 |
| Genre/form | Electronic journals. |
| LCCN | 2008242223 |
| ISSN | 2832-6520 1936-9492 |
