SEJun 10, 2015
Proceedings 4th International Workshop on Engineering Safety and Security Systems
arXiv:1506.03250v1
Originality Synthesis-oriented
AI Analysis
This is a proceedings volume, so it is incremental and serves as a collection of existing research for the safety and security systems community.
This paper compiles the proceedings of the Fourth International Workshop on Engineering Safety and Security Systems (ESSS'15), which was held as a satellite event to the 20th International Symposium on Formal Methods in Oslo, Norway, in 2015.
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).