skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Framework para modelagem e verificação formal de programas de controle de sistemas instrumentados de segurança.
Framework para modelagem e verificação formal de programas de controle de sistemas instrumentados de segurança.
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Framework para modelagem e verificação formal de programas de controle de sistemas instrumentados de segurança.

Ferrarezi, Rodrigo César

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2014-12-09

Acesso online. A biblioteca também possui exemplares impressos.

2
Teste e verificação formal do comportamento excepcional de programas Java
Teste e verificação formal do comportamento excepcional de programas Java
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Teste e verificação formal do comportamento excepcional de programas Java

Martins, Alexandre Locci

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2014-06-09

Acesso online. A biblioteca também possui exemplares impressos.

3
Revisão de modelos CTL
Revisão de modelos CTL
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Revisão de modelos CTL

Oliveira, Paulo De Tarso Guerra

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2010-12-16

Acesso online. A biblioteca também possui exemplares impressos.

4
Revisão de modelos formais de sistemas de estados finitos
Revisão de modelos formais de sistemas de estados finitos
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Revisão de modelos formais de sistemas de estados finitos

Sousa, Thiago Carvalho De

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2007-03-26

Acesso online. A biblioteca também possui exemplares impressos.

5
Planejamento sob incerteza para metas de alcançabilidade estendidas
Planejamento sob incerteza para metas de alcançabilidade estendidas
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

Planejamento sob incerteza para metas de alcançabilidade estendidas

Pereira, Silvio Do Lago

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2007-11-05

Acesso online. A biblioteca também possui exemplares impressos.

6
Revisão de crenças em ACTL usando verificação de modelos limitada
Revisão de crenças em ACTL usando verificação de modelos limitada
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Revisão de crenças em ACTL usando verificação de modelos limitada

Hora, Bruno Vercelino Da

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2017-08-03

Acesso online. A biblioteca também possui exemplares impressos.

7
Desenvolvimento de um mecanismo plug-and-play para o arranjo inteligente de sensores em sistemas aéreos não tripulados
Desenvolvimento de um mecanismo plug-and-play para o arranjo inteligente de sensores em sistemas aéreos não tripulados
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Desenvolvimento de um mecanismo plug-and-play para o arranjo inteligente de sensores em sistemas aéreos não tripulados

Pires, Rayner De Melo

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2014-02-06

Acesso online. A biblioteca também possui exemplares impressos.

8
A simple and general goodness-of-fit methodology for regression models
A simple and general goodness-of-fit methodology for regression models
Material Type:
Tese de Doutorado 		Adicionar ao Meu Espaço

A simple and general goodness-of-fit methodology for regression models

Arruda, Helder Alves

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2022-06-01

Acesso online. A biblioteca também possui exemplares impressos.

9
Método de modelagem e verificação formal aplicado a sistemas de tráfego aéreo.
Método de modelagem e verificação formal aplicado a sistemas de tráfego aéreo.
Material Type:
Dissertação de Mestrado 		Adicionar ao Meu Espaço

Método de modelagem e verificação formal aplicado a sistemas de tráfego aéreo.

Costa, Rafael Leme

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2018-08-03

Acesso online. A biblioteca também possui exemplares impressos.

10
Model checking multi-level and recursive nets
Model checking multi-level and recursive nets
Material Type:
Artigo 		Adicionar ao Meu Espaço

Model checking multi-level and recursive nets

Mirtha Lina Fernández Venero Flávio Soares Corrêa da Silva

Software and Systems Modeling Heidelberg v. 16, n. 4, p. 1117–1144, 2017

Heidelberg 2017

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

Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (3.843)
  2. Anais de Congresso  (2.355)
  3. Book Chapters  (443)
  4. Livros  (135)
  5. Reports  (99)
  6. Conjunto de Dados  (48)
  7. Dissertações  (46)
  8. magazinearticle  (15)
  9. Standards  (11)
  10. Produções Acadêmicas  (10)
  11. Videos  (2)
  12. Recursos Textuais  (1)
  13. Web Resources  (1)
  14. Mais opções open sub menu

Idioma 

  1. Inglês  (6.953)
  2. Japonês  (334)
  3. Francês  (12)
  4. Português  (11)
  5. Espanhol  (9)
  6. Chinês  (8)
  7. Russo  (3)
  8. Norueguês  (2)
  9. Italiano  (1)
  10. Alemão  (1)
  11. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Wassermann, R
  2. Melo, A
  3. Barthe, G
  4. Oliveira, P
  5. Zuck, L

Neste Assunto:

  1. Model Checking
  2. Science & Technology
  3. Technology
  4. Computer Science
  5. Computer Science, Software Engineering

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.