Farimah Farahmandi, Prabhat Mishra. FSM Anomaly Detection Using Formal Analysis. In 2017 IEEE International Conference on Computer Design, ICCD 2017, Boston, MA, USA, November 5-8, 2017. pages 313-320, IEEE Computer Society, 2017. [doi]
Abstract is missing.