Correct by Construction Security Approach to Design Fault Tolerant Smart Homes for Disabled People.

Sbastien Guillet, Bruno Bouchard, Abdenour Bouzouane

Browse the full EUSPN paper archive.