Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools

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]

Abstract

Abstract is missing.