Author

Leandro Dias da Silva

Created by Quid Worker - GoogleScholar web Parser at 2015-03-10 13:50:37.0.
Last updated by Lattes PostCaptcha Importer at 2015-03-29 12:58:23.0.

Simplified Graph of Associations

Word Cloud

Publications

5

Modelling and analysis of a multi-agent intelligent tutoring system based on coloured petri nets

Composition of software artifacts modelled using Colored Petri nets

Automatic Timed Automata Extraction from Ladder Programs for Model-Based Analysis of Control Systems

Ladder programs validation through model-code traceability

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

Published At

4

Software Engineering for Secure Systems

Science of Computer Programming

2011 IEEE International Conference on Industrial Technology

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

Co-Authors

8

Angelo Perkusich

Hyggo Oliveira de Almeida

Antonio Marcus Nogueira Lima

Kézia Oliveira

Elthon Oliveira

Leonardo Rodrigues Sampaio

Referenced By

1

Especificação e Verificação Formal de um modelo de STI-PBL por Redes de Petri Coloridas