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

autores

  • José Francisco Creissac Freitas de Campos
  • Campos, JC
  • Masci, PM
  • Fayollas, C
  • Palanque, Philippe
  • Campos, José C.
  • Harrison, MD
  • Martinie, C
  • Harrison, Michael
  • Masci, P
  • Célia Martinie
  • Palanque, P

data de publicação

  • janeiro 1, 2020