Linda Mohand-Oussaïd, Idir Aït-Sadoune, Yamine Aït Ameur, Mohamed Ahmed-Nacer. A formal model for output multimodal HCI - An Event-B formalization. Computing, 97(7):713-740, 2015. [doi]
@article{Mohand-OussaidA15,
title = {A formal model for output multimodal HCI - An Event-B formalization},
author = {Linda Mohand-Oussaïd and Idir Aït-Sadoune and Yamine Aït Ameur and Mohamed Ahmed-Nacer},
year = {2015},
doi = {10.1007/s00607-015-0460-y},
url = {http://dx.doi.org/10.1007/s00607-015-0460-y},
researchr = {https://researchr.org/publication/Mohand-OussaidA15},
cites = {0},
citedby = {0},
journal = {Computing},
volume = {97},
number = {7},
pages = {713-740},
}