Portal do Governo Brasileiro
s
Mostrando
1 - 3
resultados de
3
para a busca '
'
Pular para o conteúdo
Institucional
Sobre
Como participar
Diretrizes
Indicadores
Rede
Instituições participantes
Tecnologia
Faq
Contato
A sua conta
Sair
Entrar
Todos os campos
Título
Ano da publicação
Autor
Assunto
Resumo
Buscar
Busca avançada
Área do conhecimento CNPq:
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
Outro:
Repositório Institucional da UFU
Orientador(a):
Julia, Stéphane
Assunto em inglês:
Linear logic
Mostrar filtros (4)
Área do conhecimento CNPq:
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
Outro:
Repositório Institucional da UFU
Orientador(a):
Julia, Stéphane
Assunto em inglês:
Linear logic
Resultados da busca
Mostrando
1 - 3
resultados de
3
para a busca '
'
, tempo de busca: 0,02s
Ordenar:
Relevância
Data descendente
Data ascendente
Área
Autor
Título
Exportar CSV
1
Formalização de workflow nets utilizando lógica linear: análise qualitativa e quantitativa
Por
Passos, Lígia Maria Soares
Publicado em 2009
Acessar documento
Dissertação
2
Uma metodologia baseada na lógica linear para análise de processos de workflow interorganizacionais
Por
Passos, Lígia Maria Soares
Publicado em 2016
Acessar documento (1)
Acessar documento (2)
Tese
3
Modelagem e análise de video games usando as workflow nets e a lógica linear
Por
Oliveira, Guilherme Willian de
Publicado em 2012
Acessar documento (1)
Acessar documento (2)
Dissertação
Voltar
Refinar a Busca
Instituição de defesa
Universidade Federal de Uberlândia (UFU)
3
Bases coletadas
Repositório Institucional da UFU
3
Programa de Pós-Graduação
Programa de Pós-graduação em Ciência da Computação
3
Autor
Passos, Lígia Maria Soares
2
Oliveira, Guilherme Willian de
1
Orientador(a)
Julia, Stéphane
Tipo de documento
Dissertação
2
Tese
1
Tipo de acesso
openAccess
3
Idioma
Português
3
Assunto
Lógica linear
3
Fluxo de trabalho
2
Atl
1
Bloqueio mortal
1
Diagrama de atividades da uml
1
Engenharia de software
1
Mais ...
Lógica
1
Monitoração
1
Planejamento de recursos
1
Processos de workflow
1
Rede de Petri
1
Rede de petri
1
Relaxed soundness
1
Serviço web
1
Software - Desenvolvimento
1
Soudness
1
Soundness
1
Verificação
1
Video games
1
Weak soundness
1
Workflow
1
Workflow net interorganizacional
1
Workow net
1
Ver todos ...
menos ...
Assunto em inglês
Linear logic
Petri net
2
Deadlock
1
Interorganizational workflow net
1
Monitoring
1
Resource planning
1
Mais ...
Soundness
1
Uml activity diagrams
1
Verification
1
Web service
1
Workflow nets, Soundness
1
Workflow process
1
Workow net
1
Ver todos ...
menos ...
Área do conhecimento CNPq
CIENCIA DA COMPUTACAO
Ano da publicação
De:
Até:
Carregando...