Title Proceedings / ACM and IEEE International Conference on Formal Methods and Models for Co-Design

Published Los Alamitos, CA : Institute of Electrical and Electronics Engineers, [2003-] ©2003- Began with 1st (24-26 June, 2003)

Online access available from: IEEE Xplore    01 Jan. 2003- View Resource Record

Copies

Description Online resource 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> Notes Description based on first issue; title from PDF of title page (IEEExplore, viewed July 21, 2008) Latest issue consulted: 6th (June 5-7, 2008), PDF of title page (IEEExplore, viewed July 21, 2008) Subject Embedded computer systems -- Computer-aided design -- Congresses Computer simulation -- Congresses Form Electronic journal Author IEEE Circuits and Systems Society IEEE Computer Society. Design Automation Technical Committee ACM Special Interest Group on Design Automation IEEE Council on Electronic Design Automation Association for Computing Machinery. Special Interest Group on Embedded Systems LC no. 2008242223 ISSN 2832-6520 1936-9492

ABBREV TI Proc. (ACM IEEE Int. Conf. Form. Methods Model. Co-Des. Online) OTHER TI Proceedings (ACM and IEEE International Conference on Formal Methods and Models for Co-Design. Online) Other Titles MEMOCODE Also called: Formal Methods and Models for Co-Design (MEMOCODE), ACM and IEEE International Conference on

  Permalink