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

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

José Creissac Campos
High-Assurance Software Laboratory [Braga, Portugal]
Camille Fayollas
Interactive Critical Systems
Michael Harrison
  • Fonction : Auteur
Newcastle University [Newcastle]
Célia Martinie
Interactive Critical Systems
Paolo Masci
  • Fonction : Auteur
National Institute of Aerospace [Hampton]
Philippe Palanque
Interactive Critical Systems
CV

Domaines

Interface homme-machine [cs.HC]

Célia MARTINIE  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02931903

Soumis le : lundi 7 septembre 2020-12:52:16

Dernière modification le : jeudi 28 mars 2024-03:10:16

Consulter le texte intégral

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-TLSE2 CNRS UT1-CAPITOLE IRIT IRIT-ICS ANR IRIT-FSL IRIT-UT3 TOULOUSE-INP UNIV-UT3 UT3-TOULOUSEINP
66 Consultations
0 Téléchargements

Altmetric

Partager

More