Danielle Gaither, Hyunsook Do, Barrett R. Bryant. Toward Detection of Abnormal Behaviors in Timing and Security Requirements. In Jian Lv, He Jason Zhang, Mike Hinchey, Xiao Liu 0004, editors, 24th Asia-Pacific Software Engineering Conference, APSEC 2017, Nanjing, China, December 4-8, 2017. pages 707-712, IEEE Computer Society, 2017. [doi]
Abstract is missing.