Simulation and formal verification of real time systems : A case study Artigo de Conferência uri icon

autores

  • FILOMENA MARIA DA ROCHA MENEZES DE OLIVEIRA SOARES
  • Seabra, E.
  • Machado, J.
  • Da Silva, J.F.
  • Soares, F.O.
  • Leão, C.P.

data de publicação

  • janeiro 1, 2007