High assurance on cyber-physical interactive systems Artigo de Conferência uri icon

autores

  • José Francisco Creissac Freitas de Campos
  • Couto, R
  • Campos, JC

data de publicação

  • janeiro 1, 2019