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]
@inproceedings{GuilletBB13,
title = {Correct by Construction Security Approach to Design Fault Tolerant Smart Homes for Disabled People},
author = {Sébastien Guillet and Bruno Bouchard and Abdenour Bouzouane},
year = {2013},
doi = {10.1016/j.procs.2013.09.034},
url = {http://dx.doi.org/10.1016/j.procs.2013.09.034},
researchr = {https://researchr.org/publication/GuilletBB13},
cites = {0},
citedby = {0},
pages = {257-264},
booktitle = {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},
editor = {Elhadi Shakshuki},
volume = {21},
series = {Procedia Computer Science},
publisher = {Elsevier},
}