Event Beta
International Conference on Formal Methods and Models for Codesign
MEMOCODE 2004MEMOCODE
- Date
- 2004-06-22/25
- Place
- San Diego, United States on the map
- Series
- International Conference on Formal Methods and Models for System Design
- Edition
- 2
- Attendance
- on site
- Status
- as scheduled
- Website
- http://memocode.irisa.fr/2004/
- Academic field
- Natural sciences: Mathematics, Computer and information sciences
- Disciplines
- computer science, formal methods, model checking, software verification
- Identifier
https://id.confref.org/event/e11hmmx
Proceedings
Where the sources disagree
- start date: confident: 2004-06-22; confref-portal: 2004-01-01
The facts above are taken from the source first in precedence (ConfIDent, Springer, dblp, Wikidata, the portal, the GND).
Sources
The records of the sources that this identifier brings together (cr:sameAs).
| confref portal (2020) | |
|---|---|
| ConfIDent | |
| dblp |
Cite
International Conference on Formal Methods and Models for Codesign. confref identifier e11hmmx. https://id.confref.org/event/e11hmmx
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.