Preliminary Results of Global Time Petri Net Analysis Applied to Embedded Software Prototyping
Aplicação da Análise Global de Redes de Petri Temporais no Contexto de Software Embarcado
Educational Open Government Data: from requirements to end users
Applying global time Petri net analysis on the embedded software context
Critérios Potenciais Usos: um Mecanismo para Definição de Méricas de Complexidade de Software
Aspectos de Seleção de Caminhos para Cobertura de Critérios Estruturais de Teste
Sba: Controle & Automação Sociedade Brasileira de Automatica
Alan Lopes de Sousa Freitas
Mario Jino
Eduardo Todt
José Carlos Maldonado
Silvia Regina Vergilio
Luis Allan Künzle