Mauricio Gomez, Yongho Kim, James Goppert, Eric T. Matson. Using Online Model Checking Technique for Survivability, Evaluating Different Scenarios on Runtime. In Elhadi M. Shakshuki, editor, The 11th International Conference on Future Networks and Communications (FNC 2016) / The 13th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2016) / Affiliated Workshops, August 15-18, 2016, Montreal, Quebec, Canada. Volume 94 of Procedia Computer Science, pages 404-409, Elsevier, 2016. [doi]
Abstract is missing.