Navegando por Autor Silva, Renan Francisco Macarroni da
Mostrando resultados 1 a 1 de 1
Câmpus | Programa/Curso | Data do documento | Título | Autor(es) |
---|---|---|---|---|
Ponta Grossa | Ciência da Computação | 12-Nov-2019 | Verificação formal usando model checking para sistemas automotivos | Silva, Renan Francisco Macarroni da |