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

Bibliographic Details
Main Author: Silva, Ricardo João Besteiro e (author)
Format: masterThesis
Language:eng
Published: 2010
Subjects:
Bisimulation algorithm
Model checking
Process calculi
Characteristic formula
Online Access:http://hdl.handle.net/10362/4023
Country:Portugal
Oai:oai:run.unl.pt:10362/4023

Internet

http://hdl.handle.net/10362/4023

Similar Items