William Knowles, Jose M. Such, Antonios Gouglidis, Gaurav Misra, Awais Rashid. Assurance Techniques for Industrial Control Systems (ICS). In Indrajit Ray, Roshan K. Thomas, Alvaro A. Cárdenas, editors, Proceedings of the First ACM Workshop on Cyber-Physical Systems-Security and/or PrivaCy, CPS-SPC 2015, Denver, Colorado, USA, October 16, 2015. pages 101-112, ACM, 2015. [doi]
Abstract is missing.