A Formal Specification Model of Survivability for Pervasive Systems.

Adel Ayara Faïza Najjar

Published in: ISPA (2008)

Keyphrases

formal specification
management system
database
multi agent
probabilistic model
formal methods
high level
knowledge management
distributed systems
model checking