第四届工程安全与安保系统国际研讨会会议录
软件工程
2015-06-11 v1
摘要
本卷收录了第四届工程安全与安保系统国际研讨会（ESSS'15）的会议录。该研讨会于 2015 年 6 月 22 日在挪威奥斯陆举行，作为第 20 届形式化方法国际研讨会（FM'15）的卫星活动。
引用
@article{arxiv.1506.03250,
title = {Proceedings 4th International Workshop on Engineering Safety and Security Systems},
author = {Jun Pang and Yang Liu and Sjouke Mauw},
journal= {arXiv preprint arXiv:1506.03250},
year = {2015}
}