【24h】

Preface

机译:前言

获取原文

摘要

This volume contains the papers presented at SEFM 2014, the 12th International Conference on Software Engineering and Formal Methods, which was held during September 3-5, 2014, in Grenoble, France. The aim of the conference is to bring together practitioners and researchers from academia, industry, and government to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration with practical engineering methods. SEFM 2014 was organized by Inria and supported by Grenoble INP, University Joseph-Fourier, LIG, and CNRS.
机译:本卷包含于2014年9月3-5日在法国格勒诺布尔举行的第12届软件工程与形式方法国际会议SEFM 2014上提交的论文。该会议的目的是将学术界,行业和政府的从业人员和研究人员召集在一起,以形式化方法来促进最新技术发展,以促进他们在软件行业中的应用,并鼓励他们与实用的工程方法集成。 2014年SEFM由Inria组织,并由格勒诺布尔INP,约瑟夫·富里尔大学,LIG和CNRS支持。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号