Login / Signup
Towards Simple and Effective Formal Methods for Intelligent Environments.
Martin Henson
James Dooley
Abdullah Al-Malaise Al-Ghamdi
Luke Whittington
Published in:
Intelligent Environments (2012)
Keyphrases
</>
formal methods
intelligent environments
provably correct
ambient intelligence
formal analysis
artificial intelligence
computer vision
software engineering
formal specification
data mining
multi agent
multi agent systems
management system