2000 character limit reached
Proceedings 4th International Workshop on Engineering Safety and Security Systems (1506.03250v1)
Published 10 Jun 2015 in cs.SE
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).