Tools

LEADER 03859cas 2200625 a 4500

001 ssj0059093;

003 WaSeSS;

005 20251212090320.0;

006 m d ;

007 cr n ;

008 080721c20039999cauar s 1 a0eng ;

010 a| 2008242223;

022 0 a| 2832-6520y| 1936-94922| 1;

029 1 a| AU@b| 000072177114;

035 a| (WaSeSS)ssj0059093;

042 a| pcca| nsdp;

049 a| EREEa| NEHH;

082 10 a| 003.32| 151| https://id.oclc.org/worldcat/ddc/E43dCrh4CHgFHQjDxRkxM4DCYg;

111 2 a| ACM and IEEE International Conference on Formal Methods and Models for Co-Design.?| UNAUTHORIZED;

210 0 a| Proc.b| (ACM IEEE Int. Conf. Form. Methods Model. Co-Des. Online);

222 0 a| Proceedingsb| (ACM and IEEE International Conference on Formal Methods and Models for Co-Design. Online);

240 10 a| Proceedings (Online)?| UNAUTHORIZED;

245 10 a| Proceedingsh| [electronic resource] /c| ACM and IEEE International Conference on Formal Methods and Models for Co-Design.;

246 13 a| MEMOCODE;

246 1 i| Also called:a| Formal Methods and Models for Co-Design (MEMOCODE), ACM and IEEE International Conference on;

260 a| Los Alamitos, CA :b| Institute of Electrical and Electronics Engineers,c| ℗♭2003-;

310 a| Annual;

362 1 a| Began with 1st (24-26 June, 2003).;

506 a| Available only to authorized users.;

530 a| Also available in print.;

538 a| Mode of access: World Wide Web.;

550 a| 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>.;

588 a| Description based on first issue; title from PDF of title page (IEEExplore, viewed July 21, 2008).;

588 a| Latest issue consulted: 6th (June 5-7, 2008), PDF of title page (IEEExplore, viewed July 21, 2008).;

650 0 a| Embedded computer systemsx| Computer-aided designv| Congresses.=| ^A422987;

650 0 a| Computer simulationv| Congresses.=| ^A414896;

655 0 a| Electronic journals.=| ^A353035;

710 2 a| IEEE Circuits and Systems Society.1| https://id.oclc.org/worldcat/entity/E39QQPVp7TFPCbBGyTKjDhb4kt.=| ^A85435;

710 2 a| IEEE Computer Society.b| Design Automation Technical Committee.=| ^A73828;

710 2 a| ACM Special Interest Group on Design Automation.1| https://id.oclc.org/worldcat/entity/E39QQPVp7Pp4hTGb9TFYmBdQY6.=| ^A73827;

710 2 a| IEEE Council on Electronic Design Automation.1| https://id.oclc.org/worldcat/entity/E39QH7Jmt6YCbf6dXwyWpx8mM6.?| UNAUTHORIZED;

710 2 a| Association for Computing Machinery.b| Special Interest Group on Embedded Systems.=| ^A728351;

710 2 a| IEEE Xplore (Online service)=| ^A534875;

856 40 z| Click here for full textu| http://JW3MH2CM6N.search.serialssolutions.com/?V=1.0&L=JW3MH2CM6N&S=JCs&C=PAAII&T=marc;

947 a| (OCoLC)234316032;

949 a| CLICK ON WEB ADDRESSw| ASISh| JOYNER123;

949 a| CLICK ON WEB ADDRESSw| ASISh| HSL79;

949 a| CLICK ON WEB ADDRESSw| ASISh| JMUSIC61;

596 a| 1 3 4;

998 a| 5974093;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 5974093-1001l| JNETm| JOYNERr| Ys| Yt| JNESSJOu| 4/14/2023x| EJOURNALz| JERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 5974093-2001l| HSLELECm| HSLr| Ys| Yt| HELECu| 4/14/2023x| EJOURNALz| HERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 5974093-3001l| MNETm| JMUSICr| Ys| Yt| MNESSJOu| 4/14/2023x| EJOURNALz| JERESOURCE;

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

Author/creator	ACM and IEEE International Conference on Formal Methods and Models for Co-Design
Format	Electronic
Publication Info	Los Alamitos, CA : Institute of Electrical and Electronics Engineers, ℗♭2003-
Supplemental Content	Click here for full text
Subjects	Embedded computer systems--Computer-aided design. --Congresses. Computer simulation--Congresses.

Other author/creator	IEEE Circuits and Systems Society. https://id.oclc.org/worldcat/entity/E39QQPVp7TFPCbBGyTKjDhb4kt.
Other author/creator	IEEE Computer Society. Design Automation Technical Committee.
Other author/creator	ACM Special Interest Group on Design Automation. https://id.oclc.org/worldcat/entity/E39QQPVp7Pp4hTGb9TFYmBdQY6.
Other author/creator	IEEE Council on Electronic Design Automation. https://id.oclc.org/worldcat/entity/E39QH7Jmt6YCbf6dXwyWpx8mM6.
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

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

Click here for more information about this title