skip to main content
Refinado por: Nome da Publicação: Proceedings remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

A formal environment model for multi-agent systems

Paulo Salem da Silva Ana Cristina Vieira de Melo; Brazilian Symposium on Formal Methods: Foundatons and applications - SBMF (13. 2010 Natal, RN)

Proceedings Berlin : Springer, 2010

Berlin Springer 2010

Localização: IME - Inst. Matemática e Estatística    (PROD-2172943 ) e outros locais(Acessar)

2
OntolAD a formal ontology for architectural descriptions
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

OntolAD a formal ontology for architectural descriptions

Milena Guessi Dilvan de Abreu Moreira; Gabriel Abdalla; Flavio Oquendo; Elisa Yumi Nakagawa; Symposium on Applied Computing - SAC (30. 2015 Salamanca)

Proceedings New York : ACM, 2015

New York ACM 2015

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-2690136 )(Acessar)

3
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

PiStache implementing π-calculus in scala

Pedro Matiello Ana Cristina Vieira de Melo; Brazilian Symposium on Formal Methods - SBMF (14. 2011 São Paulo, Brasil)

Proceedings Berlin : Springer, 2011

Berlin Springer 2011

Localização: IME - Inst. Matemática e Estatística    (PROD-3010413 )(Acessar)

4
Material Type:
Artigo de Congresso
Adicionar ao Meu Espaço

Plan existence verification as symbolic model checking

Macilio da Silva Ferreira Maria Viviane Menezes; Leliane Nunes de Barros; Brazilian Conference on Intelligent Systems - BRACIS (7. 2018 São Paulo); Encontro Nacional de Inteligência Artificial e Computacional - ENIAC (15. 2018 São Paulo)

Proceedings Porto Alegre : SBC, 2018

Porto Alegre SBC 2018

Localização: IME - Inst. Matemática e Estatística    (PROD-2917900 )(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Buscando em bases de dados remotas. Favor aguardar.