Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue ACM Transactions on Computer-Human Interaction Année : 2020

Dates et versions

hal-02931903 , version 1 (07-09-2020)

Identifiants

Citer

José Creissac Campos, Camille Fayollas, Michael Harrison, Célia Martinie, Paolo Masci, et al.. Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools. ACM Transactions on Computer-Human Interaction, 2020, 27 (5), pp.1-48. ⟨10.1145/3404199⟩. ⟨hal-02931903⟩
48 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More