A Formal Approach to Heuristically Test Restorable Systems.

Pablo Rabanal, Ismael Rodrguez, Fernando Rubio

Browse the full ICTAC paper archive.