【24h】

Preface

机译:前言

获取原文

摘要

This volume contains the papers presented at the 4th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA 2018), held during September 4-6, 2018, in Beijing. The purpose of SETTA is to provide an international forum for researchers and practitioners to share cutting-edge advancements and strengthen collaborations in the field of formal methods and its interoperability with software engineering for building reliable, safe, secure, and smart systems. Past SETTA symposiums were successfully held in Nanjing (2015), Beijing (2016), and Changsha (2017).
机译:本卷包含于2018年9月4日至6日在北京举行的第四届可靠软件工程:理论,工具和应用程序国际研讨会(SETTA 2018)上发表的论文。 SETTA的目的是为研究人员和从业人员提供一个国际论坛,以分享前沿进展并加强形式方法及其与软件工程的互操作性领域的合作,以构建可靠,安全,可靠和智能的系统。过去的SETTA座谈会分别在南京(2015),北京(2016)和长沙(2017)成功举办。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号