Navegando por Assunto Teoria dos autômatos
Mostrando resultados 4 a 6 de 6
< Anterior
| Câmpus | Programa/Curso | Data do documento | Título | Autor(es) |
|---|---|---|---|---|
| Pato Branco | Programa de Pós-Graduação em Engenharia Elétrica | 5-Set-2019 | Explorando parâmetros na modelagem, síntese e implementação de controladores para sistemas a eventos discretos | Southier, Luiz Fernando Puttow |
| Ponta Grossa | Programa de Pós-Graduação em Ciência da Computação | 22-Mai-2019 | Urban growth forecast using segmented and complete maps with the SLEUTH simulator | Roth, Ellen Cristina Wolf |
| Ponta Grossa | Ciência da Computação | 12-Nov-2019 | Verificação formal usando model checking para sistemas automotivos | Silva, Renan Francisco Macarroni da |