Software simulation and verification to increase the reliability of Intelligent Environments.

Juan Carlos Augusto Miguel J. Hornos

Published in: Adv. Eng. Softw. (2013)

Keyphrases

intelligent environments
ambient intelligence
simulation environment
computer systems
software development
mixed reality
daily life
home automation
databases
smart home
software systems
user interface
high quality
model checking
embedded systems
management system
computer vision
artificial systems
learning algorithm