Skip to Main content Skip to Navigation
New interface
Journal articles

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

Document type :
Journal articles
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-02931903
Contributor : Célia MARTINIE Connect in order to contact the contributor
Submitted on : Monday, September 7, 2020 - 12:52:16 PM
Last modification on : Monday, July 4, 2022 - 9:32:30 AM

Links full text

Identifiers

Citation

José Creissac Campos, Fayollas Camille, 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⟩

Share

Metrics

Record views

33