机译:客人编辑:ACM TECS的专题ACM-IEEE关于系统设计的正式方法和模型国际会议(MemoCode 2017)
机译:ICFEM2000。第三届IEEE形式工程方法国际会议
机译:实际门延迟模型下组合电路的概率功率估计方法(转载自1999年IEEE国际电路与系统专题讨论会(ICAS)会议录,1999年5月30日至6月2日,美国奥兰多,弗洛里亚,第1卷,第286页) 2
机译:议事录。第四届ACM和IEEE国际会议的正式设计方法和模型。 (MEMOCODE'06)(IEEE目录号06EX1398)
机译:统计建模:GLIM 89和1989年7月17日至21日在意大利特伦托举行的第四届国际统计建模研讨会
机译:2018 IEEE国际生物启发智能工作会议(IWOBI):会议报告
机译:第一届国际建模人为因素研讨会会议记录(HuFamo):与aCm / IEEE第18届国际模型驱动工程语言和系统会议同期举办(mODELs 2015)
机译:1981年3月10日至12日在加利福尼亚州圣地亚哥召开的NBs / IEEE / aCm软件工具展览会与国际软件工程会议(第5届)联合举办