Simulation and Formal Verification of Industrial Systems Controllers Artigo de Conferência uri icon

autores

  • José Francisco Creissac Freitas de Campos
  • J. Machado
  • E. Seabra
  • J.C. Campos
  • F. Soares
  • C.P. Leao
  • J.F. Silva

data de publicação

  • janeiro 1, 2007