A Formal Specification Model of Survivability for Pervasive Systems.

Adel Ayara, Faza Najjar

Browse the full ISPA paper archive.