Property patterns for the formal verification of automated production systems Artigo de Conferência uri icon

autores

  • EURICO AUGUSTO RODRIGUES DE SEABRA
  • J. M. Leão
  • José Francisco Creissac Freitas de Campos
  • Campos, JC
  • Machado, J
  • Campos, J.
  • Campos, J.
  • FILOMENA MARIA DA ROCHA MENEZES DE OLIVEIRA SOARES
  • Campos, J.C.
  • J. Machado
  • E. Seabra

data de publicação

  • janeiro 1, 2008