Safety Analysis of Software Components of a Dialysis Machine Using Model Checking Artigo de Conferência uri icon

autores

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

data de publicação

  • janeiro 1, 2017