【24h】

Preface

机译:前言

获取原文

摘要

The International Conference on Formal Engineering Methods (ICFEM) is a premier conference for research in all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software development, software security, and reliability. Since 1997, ICFEM has been an international forum for researchers and practitioners from academia, industry, and government. It is devoted to presentations and exchanges that advance the state of the art of applying formal methods in practice. Submissions that present combinations of conceptual and methodological aspects with their formal foundation and tool support are particularly encouraged.
机译:国际正规工程方法(ICFEM)是一项关于与正规工程方法相关的所有领域的首选会议,如验证和验证,软件工程,正式规范和建模,软件开发,软件安全性和可靠性。自1997年以来,ICFEM是学术界,工业和政府的研究人员和从业者的国际论坛。它致力于介绍和交流,推进在实践中应用正式方法的领域。特别鼓励概念和方法方面的组合提交与其正式基础和工具支持的组合。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号