Idioma:

Model checking merged program traces

Paulo Salem da Silva Ana Cristina Vieira de Melo; Brazilian Symposium on Formal Methods - SBMF (11. 2008 Salvador, Brasil)

Electronic Notes in Theoretical Computer Science Amsterdam v. 240, p. 97-112, 2009

Localização: IME - Inst. Matemática e Estatística (PROD-3010468 )(Acessar)

Título:
Model checking merged program traces
Autor: Paulo Salem da Silva
Ana Cristina Vieira de Melo; Brazilian Symposium on Formal Methods - SBMF (11. 2008 Salvador, Brasil)
Assuntos: JAVA; MODELOS DE PROCESSO DE SOFTWARE; Model Checking; Simulation; Runtime Verification
É parte de: Electronic Notes in Theoretical Computer Science Amsterdam v. 240, p. 97-112, 2009
Notas: Disponível em: https://doi.org/10.1016/j.entcs.2009.05.047. Acesso em: 18 nov. 2020
Editor: Amsterdam Elsevier
Data de criação/publicação: 2009
Formato: p. 97-112.
Idioma: Inglês

Links

Voltar para lista de resultados

Anterior Resultado 9 Avançar Ir para próxima página