International Conference on Formal Methods and Models for Co-Design
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 ]
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 ]
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 ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team