Proceedings 4th International Workshop on Engineering Safety and Security Systems
Jun Pang (University of Luxembourg), Yang Liu (Nanyang Technological, University), Sjouke Mauw (University of Luxembourg)
TL;DR
This paper compiles proceedings from the 4th International Workshop on Engineering Safety and Security Systems, focusing on recent advancements and discussions in safety and security engineering within formal methods.
Contribution
It presents a collection of recent research and developments in engineering safety and security systems discussed at ESSS'15.
Findings
Diverse approaches to safety and security engineering
Integration of formal methods in system design
Emerging challenges in security systems
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).
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.