-
TOWARDS RESILIENT AND PRIVATE MOBIQUITOUS SYSTEMS
The works presented in this dissertation are representative of my activities in the field of resilience and privacy for ubiquitous mobile systems. They are organized... -
A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems
Colloque avec actes et comité de lecture. internationale.
