Event Beta

ACM-IEEE International Conference on Formal Methods and Models for Codesign

Name: ACM-IEEE International Conference on Formal Methods and Models for Codesign
Start: 2008-06-05
End: 2008-06-07
Location: Anaheim

MEMOCODE 2008MEMOCODE

Date: 2008-06-05/07
Place: Anaheim, United States on the map
Series: International Conference on Formal Methods and Models for System Design
Edition: 6
Attendance: on site
Status: as scheduled
Website: http://memocode-conference.com
Academic field: Natural sciences: Mathematics, Computer and information sciences
Disciplines: computer science, formal methods, model checking, software verification
Identifier: https://id.confref.org/event/e11hmrn

Proceedings

Title	DOI	Year	Record
6th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2008), June 5-7, 2008, Anaheim, CA, USA		2008	dblp

The records of the sources that this identifier brings together (cr:sameAs).

confref portal (2020)	`https://id.confref.org/data/confref-portal/event/memocode2008` · page
ConfIDent	`https://id.confref.org/data/confident/12101` · page
dblp	`https://dblp.org/db/conf/memocode/memocode2008`

ACM-IEEE International Conference on Formal Methods and Models for Codesign. confref identifier e11hmrn. https://id.confref.org/event/e11hmrn

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.