机译:第十届国际计算机辅助设计形式方法会议(FMCAD)
机译:客人编辑:ACM TECS的专题ACM-IEEE关于系统设计的正式方法和模型国际会议(MemoCode 2017)
机译:大会报告:第37届国际计算机辅助设计大会(ICCAD 2018)回顾
机译:ASMBI的特别问题致力于第10届关于可靠性的数学方法(MMR 2017)前言
机译:1996年IEEE控制应用国际会议的召开IEEE控制应用国际会议与IEEE智能控制国际研讨会一起举行IEEE计算机辅助控制系统设计国际研讨会
机译:计算机辅助设计中的形式方法。
机译:第十届放射分析化学方法与应用国际会议(MARC X)简介
机译:计算机辅助设计中的形式方法。 FMCAD2000。计算机科学讲座
机译:第10届国际科学与工程计算方法会议。