Sébastien Guillet, Bruno Bouchard, Abdenour Bouzouane. Correct by Construction Security Approach to Design Fault Tolerant Smart Homes for Disabled People. In Elhadi Shakshuki, editor, The 4th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN-2013) and the 3rd International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH), Niagara Falls, Ontario, Canada, October 21-24, 2013. Volume 21 of Procedia Computer Science, pages 257-264, Elsevier, 2013. [doi]
Abstract is missing.