搜索结果: 1-1 共查到“计算机软件 ICFEM 2010”相关记录1条 . 查询时间(0.062 秒)
第12届国际形式化工程大会（ICFEM 2010）于11月17日至19日在校召开。我校软件学院院长何积丰院士担任大会主席。国际形式化工程大会（ICFEM）将形式化方法与计算机系统相结合, 既包含科学界的研究探索型问题也包含工业界的应用问题，主要关注已在工业界得到应用的或可以为工业界带来切实利益的理论技术，该会议自1997年在日本举办第一届至今，已成功举办了12届，具有相当的知名度，是形式化方向最重...