Amjad Gawanmeh, Ali Alwadi, Sazia Parvin. Formal Verification of Control Strategies for a Cyber Physical System. In Aibek Musaev, João Eduardo Ferreira, Teruo Higashino, editors, 37th IEEE International Conference on Distributed Computing Systems Workshops, ICDCS Workshops 2017, Atlanta, GA, USA, June 5-8, 2017. pages 91-96, IEEE Computer Society, 2017. [doi]
Abstract is missing.