Login / Signup

Using Simulation and Verification to Inform the Development of Intelligent Environments.

Juan Carlos AugustoMiguel J. Hornos
Published in: Intelligent Environments (Workshops) (2012)
Keyphrases
  • intelligent environments
  • ambient intelligence
  • software engineering
  • model checking
  • smart home
  • mixed reality
  • machine learning
  • high level
  • expert systems