José Creissac Campos, Camille Fayollas, Michael D. Harrison, Célia Martinie, Paolo Masci, Philippe A. Palanque. Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools. ACM Transactions on Computer-Human Interaction, 27(5), 2020. [doi]
@article{CamposFHMMP20,
title = {Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools},
author = {José Creissac Campos and Camille Fayollas and Michael D. Harrison and Célia Martinie and Paolo Masci and Philippe A. Palanque},
year = {2020},
doi = {10.1145/3404199},
url = {https://doi.org/10.1145/3404199},
researchr = {https://researchr.org/publication/CamposFHMMP20},
cites = {0},
citedby = {0},
journal = {ACM Transactions on Computer-Human Interaction},
volume = {27},
number = {5},
}