2
3
4
Integrating UML and UPPAAL for designing, specifying and verifying component-based real-time systems
Outros Autores:
“...Lima, George Marconi de Araújo...”Acessar documento
Artigo
5
6