Towards Assurance Cases for Resilient Control Systems

James Weimer, Oleg Sokolsky, Nicola Bezzo, Insup Lee. Towards Assurance Cases for Resilient Control Systems. In 2014 IEEE International Conference on Cyber-Physical Systems, Networks, and Applications, CPSNA 2014, Hong Kong, China, August 25-26, 2014. pages 1-6, IEEE Computer Society, 2014. [doi]

Abstract

Abstract is missing.