Login / Signup

Formal analysis of ubiquitous computing environments through the APEX framework.

José Luís SilvaJosé Creissac CamposMichael D. Harrison
Published in: EICS (2012)
Keyphrases
  • formal analysis
  • knowledge representation
  • anomaly detection
  • end users
  • context aware
  • formal methods
  • ubiquitous computing environments