会员服务
2019年会议的目标是汇集来自不同用户领域和软件学科的工业、学术和政府专家，以帮助推动技术进步。研究人员、实践者、工具开发人员和用户以及技术转让专家都受到欢迎。我们感兴趣的工作，已纳入实际生产系统，并在理论工作，承诺带来实际的，有形的工程效益。 官网链接：http://csse.szu.edu.cn/icfem2019/
Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems
Arxiv
0+阅读 · 2012年12月29日
Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD)
Arxiv
0+阅读 · 2018年5月12日
参考链接
父主题
Springer
软件工程
程序设计语言
微信扫码咨询专知VIP会员
Top