Document details

Document Type Other
Language English
facebook logo  linkedin logo  twitter logo 
mendeley logo

Related documents

Supporting the analysis of safety critical user interfaces: An Exploration of Three Formal Tools

Fayollas,C; Palanque,P; Masci,P; Martinie,C; Harrison,MD; José Creissac Campos

more

Date: 2020

Verification Templates for the Analysis of User Interface Software Design

Masci,P; Harrison,MD; José Creissac Campos

more

Date: 2019