Proceedings 4th International Workshop on Engineering Safety and Security Systems

Jun Pang,Yang Liu,Sjouke Mauw
DOI: https://doi.org/10.48550/arXiv.1506.03250
2015-06-10
Software Engineering
Abstract:The present volume contains the proceedings of the Fourth International Workshop on Engineering Safety and Security Systems (ESSS'15). The workshop was held in Oslo, Norway, on June 22nd, 2015, as a satellite event of the 20th International Symposium on Formal Methods (FM'15).
What problem does this paper attempt to address?