Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

José Creissac Campos, Camille Fayollas, Michael D. Harrison, Célia Martinie, Paolo Masci, Philippe A. Palanque. Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools. ACM Transactions on Computer-Human Interaction, 27(5), 2020. [doi]

This author has not been identified. Look up 'José Creissac Campos' in GoogleThis author has not been identified. Look up 'Camille Fayollas' in GoogleThis author has not been identified. Look up 'Michael D. Harrison' in GoogleThis author has not been identified. Look up 'Célia Martinie' in GoogleThis author has not been identified. Look up 'Paolo Masci' in GoogleThis author has not been identified. Look up 'Philippe A. Palanque' in Google

runs on WebDSL