Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Dissertação de Mestrado
|
Teste e verificação formal do comportamento excepcional de programas JavaMartins, Alexandre LocciBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2014-06-09Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Dissertação de Mestrado
|
Framework para modelagem e verificação formal de programas de controle de sistemas instrumentados de segurança.Ferrarezi, Rodrigo CésarBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2014-12-09Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Dissertação de Mestrado
|
Revisão de modelos CTLOliveira, Paulo De Tarso GuerraBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2010-12-16Acesso online. A biblioteca também possui exemplares impressos. |
|
4 |
Material Type: Dissertação de Mestrado
|
Revisão de modelos formais de sistemas de estados finitosSousa, Thiago Carvalho DeBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2007-03-26Acesso online. A biblioteca também possui exemplares impressos. |
|
5 |
Material Type: Tese de Doutorado
|
Planejamento sob incerteza para metas de alcançabilidade estendidasPereira, Silvio Do LagoBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2007-11-05Acesso online. A biblioteca também possui exemplares impressos. |
|
6 |
Material Type: Dissertação de Mestrado
|
Revisão de crenças em ACTL usando verificação de modelos limitadaHora, Bruno Vercelino DaBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2017-08-03Acesso online. A biblioteca também possui exemplares impressos. |
|
7 |
Material Type: Dissertação de Mestrado
|
Desenvolvimento de um mecanismo plug-and-play para o arranjo inteligente de sensores em sistemas aéreos não tripuladosPires, Rayner De MeloBiblioteca 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-06Acesso online. A biblioteca também possui exemplares impressos. |
|
8 |
Material Type: Dissertação de Mestrado
|
Método de modelagem e verificação formal aplicado a sistemas de tráfego aéreo.Costa, Rafael LemeBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2018-08-03Acesso online. A biblioteca também possui exemplares impressos. |
|
9 |
Material Type: Tese de Doutorado
|
A simple and general goodness-of-fit methodology for regression modelsArruda, Helder AlvesBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2022-06-01Acesso online. A biblioteca também possui exemplares impressos. |
|
10 |
Material Type: Artigo
|
Two AGM-style characterizations of model repairPaulo de Tarso Guerra Oliveira Renata WassermannAnnals of Mathematics and Artificial Intelligence Basel n. 87, p. 233–257, 2019Basel 2019Localização: IME - Inst. Matemática e Estatística (PROD-2969605 )(Acessar) |