Paper

Formal modelling and verification of a component model using coloured petri nets and model checking

2007

Created by Lattes PostCaptcha Importer at 2015-03-31 18:24:26.0.
Last updated by Lattes PostCaptcha Importer at 2015-05-11 19:16:26.0.

Simplified Graph of Associations

Research Paradigm

Authors

3

Hyggo Oliveira de Almeida

Elthon Oliveira

Leandro Dias da Silva

Venue

1

Proceedings of the 2007 ACM symposium on Applied computing - SAC ’07