My Account Log in

2 options

Proceedings, Sixth ACM & IEEE International Conference on Formal Methods and Models for Co-Design : MEMOCODE '08 : June 5-7, 2008, Anaheim, CA, USA / sponsored by ACM SIG on Embedded Systems [and others].

Online

Available online

View online

IEEE Xplore (IEEE/IET Electronic Library - IEL) Available online

View online
Format:
Book
Conference/Event
Contributor:
IEEE Xplore (Online service)
Association for Computing Machinery. Special Interest Group on Embedded Systems.
Conference Name:
ACM and IEEE International Conference on Formal Methods and Models for Co-Design (6th : 2008 : Anaheim, Calif.)
Language:
English
Subjects (All):
Computer simulation--Congresses.
Computer simulation.
Genre:
Conference papers and proceedings.
Physical Description:
1 online resource
Other Title:
Sixth ACM & IEEE International Conference on Formal Methods and Models for Co-Design
MEMOCODE '08
IEEE Xplore title: Formal Methods and Models for Co-Design, 2008, MEMOCODE 2008, 6th ACM/IEEE International Conference on
Place of Publication:
[Piscataway, N.J.] : IEEE Xplore, [2008]
System Details:
text file
Notes:
Title from PDF title page (viewed on July 16, 2008).
"IEEE Catalog Number CFP08MCD-PRT"--PDF copyright page.
Includes bibliographical references and index.
OCLC:
234079999
Access Restriction:
Restricted for use by site license.

The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.

My Account

Shelf Request an item Bookmarks Fines and fees Settings

Guides

Using the Library Catalog Using Articles+ Library Account