第三届工程安全与安保系统国际研讨会论文集
软件工程
2014-05-06 v1
摘要
工程安全与安保系统国际研讨会 (ESSS) 旨在为构建可靠和安全系统的挑战做出贡献。该研讨会涵盖形式化规范、类型检查、模型检查、程序分析/转换、基于模型的测试和模型驱动的软件构建等领域。研讨会将汇聚研究人员和行业研发专家，交流知识、讨论研究成果并探索潜在合作。研讨会的主要主题是构建大型可靠和安全系统的方法与技术。研讨会的目标是建立一个用于思想交流、讨论、交叉融合、启发、合作和传播的平台。
引用
@article{arxiv.1405.0554,
title = {Proceedings Third International Workshop on Engineering Safety and Security Systems},
author = {Jun Pang and Yang Liu},
journal= {arXiv preprint arXiv:1405.0554},
year = {2014}
}