Página de Busca
Adicionar filtros:
Utilizar filtros para refinar o resultado de busca.
Resultado 1-6 de 6.
- Anterior
- 1
- Próximo
Conjunto de itens:
Data do documento | Título | Autor(es) | Tipo |
---|---|---|---|
20-mai-2016 | Um método para verificação formal e dinâmica de sistemas de software concorrentes | Santos, Bruno Roberto | Dissertação |
28-ago-2020 | Uma análise empírica de abordagens para a geração de testes abstratos baseados em modelos de redes Petri coloridas | Almeida, Ially Cristina Silveira de | Dissertação |
8-mar-2013 | Estudo e desenvolvimento de uma solução para o auxílio ao cuidado à saúde | César Sobrinho, Álvaro Álvares de Carvalho | Dissertação |
28-out-2010 | Gungnir: uma ferramenta para geração e execução automática de testes de conformidade utilizando autômatos temporizados | Peixoto, Rodrigo José Sarmento | Dissertação |
29-jun-2022 | Uma solução baseada em simulação para a validação de sistemas de aquisição de sinais biomédicos | Ferreira Júnior, José Irineu | Dissertação |
28-ago-2020 | Um sistema inteligente para a avaliação de risco da DRC e encaminhamento de pacientes em emergência para unidades de saúde | Queiroz, Andressa Carvalho Melo da Silveira | Dissertação |
Busca facetada
Orientador
Membros da Banca
Assunto
Áreas de conhecimento
Instituição
Sigla da Instituição
Programa
Agência de Fomento
Tipo de Documento
Data de Publicação
Data de Disponibilização
Formato do Arquivo
Tipo de Acesso
Contém Objeto Digital