autores
- Leão, Celina Pinto
- Seabra, Eurico
- Machado, José
- da Silva, Jaime Ferreira
- Filomena O. Soares
- Seabra, E.
- Machado, J.
- Aksoy-Aksel, A.
Simulation and formal verification of real time systems: A case study
Artigo de Conferência
- Visão geral
- Identidade
- Informação adicional documento
- Ver Todos
Visão geral
data de publicação
- janeiro 1, 2007