autores
- FILOMENA MARIA DA ROCHA MENEZES DE OLIVEIRA SOARES
- Seabra, E.
- Machado, J.
- Da Silva, J.F.
- Soares, F.O.
- Leão, C.P.
Simulation and formal verification of real time systems : A case study
Artigo de Conferência
- Visão geral
- Informação adicional documento
- Ver Todos
Visão geral
data de publicação
- janeiro 1, 2007