2000 character limit reached
Proceedings 4th International Workshop on Engineering Safety and Security Systems
Published 10 Jun 2015 in cs.SE | (1506.03250v1)
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).
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.