Login / Signup
Formal analysis of ubiquitous computing environments through the APEX framework.
José Luís Silva
José Creissac Campos
Michael D. Harrison
Published in:
EICS (2012)
Keyphrases
</>
formal analysis
knowledge representation
anomaly detection
end users
context aware
formal methods
ubiquitous computing environments