2 Results for USP Intelectual Production
Sorted by:
Sorted by:
RelevanceOr hit Enter to replace sort method
- Relevance
- Date-newest
- Date-oldest
- Popularity
- Author
- Title
Show only
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Ph.D. Dissertation
|
|
Verification of behaviourist multi-agent systems by means of formally guided simulationsSilva, Paulo Salem DaBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2011-11-28Online access |
| 2 |
Material Type: Conference Paper
|
|
A new paradigm for the architecture of morphological machines binary decision diagramsHeraldo Maciel França Madeira Júnior Barrera; Roberto Hirata Júnior; Nina Sumiko Tomita Hirata; Simpósio Brasileiro de Computação Gráfica e Processamento de Imagens - SIBGRAPI (12. 1999 Campinas)Proceedings Los Alamitos: IEEE, 1999Los Alamitos IEEE 1999Available at IME - Inst. Matemática e Estatística (PROD-1084383 ) and other locations(GetIt) |
Personalize your results
Refine Search Results
Show only
Subject
- Arquitetura E Organização De Computadores (1)
- Processamento De Imagens (1)
- Teoria Dos Conjuntos (1)
- Model-Based Testing (1)
- Comportamentalismo (1)
- Environments (1)
- Verificação Formal (1)
- Métodos Formais (1)
- Behaviourism (1)
- Formal Verification (1)
- Simulation (1)
- Ambientes (1)
- Formal Methods (1)
- Teste Baseado Em Modelos (1)
- Multi-Agent Systems (1)
- Simulação (1)
- Matemática Da Computação (1)
- Sistemas Multi-Agentes (1)
-
More options
Author/Creator
Home Page
RSS
Feed
Policies
Contact Us-
Implemented by:
Social Network Logos: 