A behavioral analysis tool for models of software systems

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Detalhes bibliográficos
Autor principal: Silva, Ricardo João Besteiro e (author)
Formato: masterThesis
Idioma:eng
Publicado em: 2010
Assuntos:
Bisimulation algorithm
Model checking
Process calculi
Characteristic formula
Texto completo:http://hdl.handle.net/10362/4023
País:Portugal
Oai:oai:run.unl.pt:10362/4023
Descrição
Resumo:Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Registros relacionados