Formal techniques in the safety analysis of software components of a new dialysis machine uri icon

autores

  • José Francisco Creissac Freitas de Campos
  • Harrison, MD
  • Masci, PM
  • di Maria, Costanzo
  • Freitas, L
  • Drinnan, M
  • Whitaker, Michael
  • Campos, JC
  • Harrison, Michael
  • Freitas, Leo
  • Masci, P
  • di Maria, C
  • Drinnan, Michael
  • Campos, José C.
  • Whitaker, M

data de publicação

  • janeiro 1, 2019