【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 security, and software reliability. Since 1997, ICFEM has been serving as an international forum for researchers and practitioners who have been seriously applying formal methods to practical applications. Researchers and practitioners, from industry, academia, and government, are encouraged to attend, present their research, and help advance the state of the art. We are interested in work that has been incorporated into real production systems, and in theoretical work that promises to bring practical and tangible benefit.
机译:形式工程方法国际会议(ICFEM)是一个主要会议,旨在研究与形式工程方法相关的所有领域,例如验证和确认,软件工程,形式规范和建模,软件安全性和软件可靠性。自1997年以来,ICFEM一直作为认真研究正式方法应用于实际应用的研究人员和实践者的国际论坛。鼓励来自行业,学术界和政府的研究人员和从业人员参加,展示他们的研究并帮助推动最新技术发展。我们对已集成到实际生产系统中的工作以及对有望带来实际和切实利益的理论工作感兴趣。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号