联合设计形式方法和模型国际会议（MEMOCODE）
第21届MEMOCODE 2023：德国汉堡
莱因哈德·冯·汉克斯利登 , 斯蒂芬·爱德华兹 , 延斯·勃兰特 , 齐朱 :
第21届ACM-IEEE系统设计形式方法和模型国际研讨会，MEMOCODE 2023，德国汉堡，2023年9月21日至22日。 ACM/IEEE公司 2023 ，国际标准图书编号 979-8-4007-0318-8 [目录]
第20个MEMOCODE 2022：中国上海
第20届ACM-IEEE系统设计形式方法和模型国际会议，MEMOCODE 2022，中国上海，2022年10月13-14日。 电气与电子工程师协会 2022 ，国际标准图书编号 979-8-3503-3190-5 [目录]
第19届MEMOCODE 2021：虚拟活动，中国
S.Arun-Kumar公司 , 多米尼克·梅里 , 因德拉尼尔·萨哈 , 张丽君 :
MEMOCODE’21：第19届ACM-IEEE系统设计形式方法和模型国际会议，虚拟事件，中国，2021年11月20日至22日。 ACM公司 2021 ，国际标准图书编号 978-1-4503-9127-6 [目录]
2020年第18届MEMOCODE：印度斋浦尔
第18届ACM/IEEE系统设计正式方法和模型国际会议，MEMOCODE 2020，印度斋浦尔，2020年12月2-4日。 电气与电子工程师协会 2020 ，国际标准图书编号 978-1-7281-9148-5 [目录]
2019年第17届MEMOCODE：美国加利福尼亚州拉霍亚
Partha S.Roop公司 , 詹乃军（Naijun Zhan） , 四川高 , 皮埃尔路易吉·努佐 :
第17届ACM-IEEE系统设计形式方法和模型国际会议论文集，MEMOCODE 2019，美国加利福尼亚州拉霍亚，2019年10月9日至11日。 ACM公司 2019 ，国际标准图书编号 978-1-4503-6997-8 [目录]
2018年第16届MEMOCODE：中国北京
第16届ACM/IEEE系统设计形式方法和模型国际会议，2018年10月15日至18日，中国北京，MEMOCODE 2018。 电气与电子工程师协会 2018 ，国际标准图书编号 978-1-5386-6195-6 [目录]
2017年第15届MEMOCODE：奥地利维也纳
Jean-Pierre Talpin女士 , 帕特里夏·德勒 , 克劳斯·施耐德 :
2017年9月29日至10月2日，奥地利维也纳，2017年MEMOCODE，第15届ACM-IEEE系统设计形式方法和模型国际会议记录。 ACM公司 2017 ，国际标准图书编号 978-1-4503-5093-8 [目录]
2016年第14届MEMOCODE：印度坎普尔
2016年ACM/IEEE系统设计形式方法和模型国际会议，2016年11月18日至20日，印度坎普尔，MEMOCODE 2016。 电气与电子工程师协会 2016 ，国际标准图书编号 978-1-5090-2791-0 [目录]
2015年第13届MEMOCODE：美国德克萨斯州奥斯汀
13.2015年9月21日至23日，美国得克萨斯州奥斯汀，ACM/IEEE代码设计正式方法和模型国际会议，MEMOCODE 2015。 电气与电子工程师协会 2015 ，国际标准图书编号 978-1-5090-0237-5 [目录]
2014年第12届MEMOCODE：瑞士洛桑
2014年10月19日至21日，在瑞士洛桑举行的第十二届ACM/IEEE国际会议，会议主题为共同设计的形式方法和模型，MEMOCODE 2014。 电气与电子工程师协会 2014 [目录]
2013年第11届MEMOCODE：美国俄勒冈州波特兰
2013年10月18日至20日，美国俄勒冈州波特兰市，2013年MEMCODE，第11届ACM/IEEE联合设计形式方法和模型国际会议。 电气与电子工程师协会 2013 ，国际标准图书编号 978-1-4799-0903-2 [目录]
2012年第十届MEMOCODE：美国弗吉尼亚州阿灵顿
2012年7月16日至17日在美国弗吉尼亚州阿灵顿举行的第十届ACM/IEEE国际会议，会议主题为Codesign的形式方法和模型，MEMCODE 2012。 电气与电子工程师协会 2012 ，国际标准图书编号 978-1-4673-1314-8 [目录]
2011年第九届MEMOCODE：英国剑桥
萨特南·辛格 , 芭芭拉·朱布斯曼 , 迈克尔·基希内夫斯基 , 延斯·勃兰特 :
2011年7月11日至13日，第九届IEEE/ACM代码设计正式方法和模型国际会议，MEMOCODE 2011，英国剑桥。 电气与电子工程师协会 2011 ，国际标准图书编号 978-1-4577-0117-7 [目录]
2010年第8届MEMOCODE：法国格勒诺布尔
2010年7月26日至28日，在法国格勒诺布尔举行的第八届ACM/IEEE代码设计正式方法和模型国际会议（MEMOCODE 2010）。 IEEE计算机学会 2010 ，国际标准图书编号 978-1-4244-7885-9 [目录]
2009年第7届MEMOCODE：美国马萨诸塞州剑桥
2009年7月13日至15日在美国马萨诸塞州剑桥市举行的第七届ACM/IEEE国际协同设计形式方法和模型会议（MEMOCODE 2009）。 电气与电子工程师协会 2009 ，国际标准图书编号 978-1-4244-4806-7 [目录]
2008年第6次MEMOCODE：美国加利福尼亚州阿纳海姆
第六届ACM和IEEE联合设计形式方法和模型国际会议（MEMOCODE 2008），2008年6月5-7日，美国加利福尼亚州阿纳海姆。 IEEE计算机学会 2008 ，国际标准图书编号 978-1-4244-2417-7 [目录]
2007年第五届MEMOCODE：法国尼斯
第五届ACM和IEEE联合设计形式方法和模型国际会议（MEMOCODE 2007），5月30日至6月1日，法国尼斯。 IEEE计算机学会 2007 ，国际标准图书编号 1-4244-1050-9 [目录] 阿兰·吉罗 , 罗伯特·德西蒙 :
第三届全球异步局部同步设计形式化方法国际研讨会论文集， FMGALS@MEMOCODE 2007年5月29日，法国尼斯。 理论计算机科学电子笔记 200(1), 爱思维尔 2008 [目录]
2006年第四次MEMOCODE：美国加利福尼亚州纳帕
第四届ACM&IEEE联合设计形式方法和模型国际会议（MEMOCODE 2006），2006年7月27日至29日，美国加利福尼亚州纳帕市大使馆套房。 IEEE计算机学会 2006 ，国际标准图书编号 1-4244-0421-5 [目录]
2005年第三次MEMOCODE：意大利维罗纳
第三届ACM和IEEE联合设计形式方法和模型国际会议（MEMOCODE 2005），2005年7月11-14日，意大利维罗纳，会议记录。 IEEE计算机学会 2005 ，国际标准图书编号 0-7803-9227-2 [目录] 蒙特克·辛格 , Jean-Pierre Talpin女士 :
全球异步、本地同步设计第二次研讨会会议记录， FMGALS@MEMOCODE 2005年7月15日，意大利维罗纳。 理论计算机科学电子笔记 146(2), 爱思维尔 2006 [目录]
2004年第二个MEMOCODE：美国加利福尼亚州圣地亚哥
2004年6月23日至25日，第二届ACM&IEEE联合设计形式方法和模型国际会议（MEMOCODE 2004），美国加利福尼亚州圣地亚哥，会议记录。 IEEE计算机学会 2004 ，国际标准图书编号 0-7803-8509-8 [目录]
2003年第一部MEMOCODE：法国圣米歇尔山
第一届ACM和IEEE联合设计形式方法和模型国际会议（MEMOCODE 2003），2003年6月24日至26日，法国圣米歇尔山，会议记录。 IEEE计算机学会 2003 ，国际标准图书编号 0-7695-1923-7 [目录]
