International Conference on Formal Methods and Models for Co-Design
MEMOCODE Home Page
10. MEMOCODE 2012: Arlington, VA, USA
Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMCODE2012, Arlington, VA, USA, July 16-17, 2012.
IEEE 2012, ISBN 978-1-4673-1314-8
Contents 
9. MEMOCODE 2011: Cambridge, UK
Satnam Singh, Barbara Jobstmann, Michael Kishinevsky, Jens Brandt (Eds.):
9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011, Cambridge, UK, 11-13 July, 2011.
IEEE 2011, ISBN 978-1-4577-0117-7
Contents
8. MEMOCODE 2010: Grenoble, France
8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), Grenoble, France, 26-28 July 2010.
IEEE Computer Society 2010
Contents
7. MEMOCODE 2009: Cambridge, Massachusetts, USA
7th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2009), July 13-15, 2009, Cambridge, Massachusetts, USA.
IEEE Computer Society 2009
Contents
6. MEMOCODE 2008: Anaheim, CA, USA
6th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2008), June 5-7, 2008, Anaheim, CA, USA.
IEEE Computer Society 2008, ISBN 978-1-4244-2417-7
Contents
5. MEMOCODE 2007: Nice, France
5th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2007), May 30 - June 1st, Nice, France.
IEEE 2007
Contents
4. MEMOCODE 2006: Napa, California, USA
4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 27-29 July 2006, Embassy Suites, Napa, California, USA.
IEEE 2006
Contents
3. MEMOCODE 2005: Verona, Italy
3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 11-14 July 2005, Verona, Italy, Proceedings.
IEEE 2005
Contents
MEMOCODE 2005 Home Page
2. MEMOCODE 2004: San Diego, California, USA
2nd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2004), 23-25 June 2004, San Diego, California, USA, Proceedings.
IEEE 2004
Contents
MEMOCODE 2004 Home Page
Special Issue:
Formal Methods in System Design 30(1)
1. MEMOCODE 2003: Mont Saint-Michel, France
1st ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003), 24-26 June 2003, Mont Saint-Michel, France, Proceedings.
IEEE Computer Society 2003, ISBN 0-7695-1923-7
Contents
Last update Fri May 24 19:36:50 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
