Especificação executável usando uma linguagem de redes de Petri no domínio de sistemas embarcados
Este trabalho descreve uma metodologia para a geração automática de código para sistemas embarcados, a partir de uma rede de Petri, com objetivo de minimizar o tempo gasto na codificação do programa e automatizar completamente o processo de transformação. A abordagem proposta utiliza uma Especificaç...
| Autor principal: | Xavier, Christophe Saint-Christie de Lima |
|---|---|
| Outros Autores: | http://lattes.cnpq.br/3228997034387953 |
| Grau: | Dissertação |
| Idioma: | por |
| Publicado em: |
Universidade Federal do Amazonas
2021
|
| Assuntos: | |
| Acesso em linha: |
https://tede.ufam.edu.br/handle/tede/8490 |