Partial plant models in formal verification of industrial automation discrete systems Artigo de Conferência uri icon

autores

  • José Francisco Creissac Freitas de Campos
  • José Mendes Machado
  • Campos, J.

data de publicação

  • janeiro 1, 2011