Supporting the Analysis of Safety Critical User Interfaces

Authors :: Campos, José Creissac
Camille, Fayollas
Harrison, Michael
Martinie, Célia
Masci, Paolo
Palanque, Philippe
High-Assurance Software Laboratory [Braga, Portugal] ( HASLab )
University of Minho [Braga]-Institute for Systems and Computer Engineering, Technology and Science [Porto] (INESC TEC)
Interactive Critical Systems (IRIT-ICS)
Institut de recherche en informatique de Toulouse (IRIT)
Université Toulouse 1 Capitole (UT1)
Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3)
Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP)
Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1)
Université Fédérale Toulouse Midi-Pyrénées
Newcastle University [Newcastle]
National Institute of Aerospace [Hampton] (NIA)
Source :: ACM Transactions on Computer-Human Interaction, ACM Transactions on Computer-Human Interaction, Association for Computing Machinery, 2020, 27 (5), pp.1-48. ⟨10.1145/3404199⟩
Publication Year :: 2020
Publisher :: HAL CCSD, 2020.
Abstract: International audience

Subjects :: [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC]
ComputingMilieux_MISCELLANEOUS

Language :: English
ISSN :: 10730516 and 15577325
Database :: OpenAIRE
Journal :: ACM Transactions on Computer-Human Interaction, ACM Transactions on Computer-Human Interaction, Association for Computing Machinery, 2020, 27 (5), pp.1-48. ⟨10.1145/3404199⟩
Accession number :: edsair.dedup.wf.001..fbee8545057b6889d7c62e38517080e7

Tools