Portal do Governo Brasileiro
s
Mostrando
1 - 1
resultados de
1
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
Orientador(a):
Julia, Stéphane
Área do conhecimento CNPq:
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
Assunto em inglês:
Linear logic
E
Monitoring
Outro:
Repositório Institucional da UFU
Mostrar filtros (5)
Orientador(a):
Julia, Stéphane
Área do conhecimento CNPq:
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
Assunto em inglês:
Linear logic
E
Monitoring
Outro:
Repositório Institucional da UFU
Resultados da busca
Mostrando
1 - 1
resultados de
1
para a busca '
'
, tempo de busca: 0,03s
Ordenar:
Relevância
Data descendente
Data ascendente
Área
Autor
Título
Exportar
Exportar RIS
Exportar CSV
1
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
Voltar
Refinar a Busca
Instituição de defesa
Universidade Federal de Uberlândia (UFU)
1
Bases coletadas
Repositório Institucional da UFU
1
Programa de Pós-Graduação
Programa de Pós-graduação em Ciência da Computação
1
Autor
Passos, Lígia Maria Soares
1
Orientador(a)
Julia, Stéphane
Tipo de documento
Tese
1
Tipo de acesso
openAccess
1
Idioma
Português
1
Assunto
Bloqueio mortal
1
Fluxo de trabalho
1
Lógica
1
Lógica linear
1
Monitoração
1
Rede de Petri
1
Mais ...
Relaxed soundness
1
Serviço web
1
Soundness
1
Verificação
1
Weak soundness
1
Workflow
1
Workflow net interorganizacional
1
Ver todos ...
menos ...
Assunto em inglês
Deadlock
1
Interorganizational workflow net
1
Linear logic
Monitoring
Petri net
1
Verification
1
Mais ...
Web service
1
Ver todos ...
menos ...
Área do conhecimento CNPq
CIENCIA DA COMPUTACAO
Ano da publicação
De:
Até:
Carregando...