Simulation and formal verification of real time systems : A case study Artigo Académico uri icon

autores

  • EURICO AUGUSTO RODRIGUES DE SEABRA
  • Seabra, E.
  • Machado, J.
  • Da Silva, J.F.
  • Soares, F.O.
  • Leão, C.P.

data de publicação

  • janeiro 1, 2007