Login / Signup
Correct by Construction Security Approach to Design Fault Tolerant Smart Homes for Disabled People.
Sébastien Guillet
Bruno Bouchard
Abdenour Bouzouane
Published in:
EUSPN/ICTH (2013)
Keyphrases
</>
fault tolerant
fault tolerance
high assurance
distributed systems
smart home
mobile agent system
safety critical
artificial neural networks
user interface
management system
peer to peer
access control
intrusion detection
load balancing
ubiquitous environments