| |
| Acadêmico(a): Renato Correa Braz |
| Título: A Construção de um Simulador de Processos Concorrentes Utilizando DEVS Como Estrutura Formal de Modelagem |
| |
| Abstract: |
| This work presents the fundamental concepts behind DEVS formalism and describes a framework developed. The framework is validated with a concurrent process model. |
| |
|
