Using Online Model Checking Technique for Survivability, Evaluating Different Scenarios on Runtime.

Mauricio Gomez, Yongho Kim, James Goppert, Eric T. Matson

Browse the full FNC paper archive.