Login / Signup

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

José Creissac CamposCamille FayollasMichael D. HarrisonCélia MartiniePaolo MasciPhilippe A. Palanque
Published in: ACM Trans. Comput. Hum. Interact. (2020)
Keyphrases
  • formal methods
  • safety critical
  • user interface
  • data analysis
  • safety analysis
  • artificial intelligence
  • decision support
  • real time
  • machine learning
  • knowledge representation
  • context aware