2005 Third ACM/IEEE International Conference on Formal Methods and Models for Co-Design : MEMOCODE '05, July 11-14, 2005, verona, Italy

Similar Items

• MEMOCODE'04 : Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design : proceedings : June 23-25, 2004, San Diego, California
  by: ACM and IEEE International Conference on Formal Methods and Models for Co-Design
  Published: (2004)
• 2009 7th IEEE/ACM International Conference on Formal Methods and Models for Codesign
  by: ACM and IEEE International Conference on Formal Methods and Models for Co-Design
  Published: (2009)
• FMSE '05 : proceedings of the 2005 ACM Workshop on Formal Methods in Security Engineering : November 11, 2005, Fairfax, Virginia, USA, co-located with CCS 2005
  by: ACM Workshop on Formal Methods in Security Engineering
  Published: (2005)
• 2006 IEEE/ACM 4th International Conference on Formal Methods and Models for Co-Design
  by: ACM and IEEE International Conference on Formal Methods and Models for Co-Design
  Published: (2006)
• First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003, Proceedings : 24-26 June 2003, Mont Saint Michel, France
  by: ACM and IEEE International Conference on Formal Methods and Models for Co-Design
  Published: (2003)