A dynamic software certification an verification procedure (1999)
- Authors:
- USP affiliated authors: PEREIRA, CARLOS ALBERTO DE BRAGANCA - IME ; STERN, JULIO MICHAEL - IME
- Unidade: IME
- Subjects: VERIFICAÇÃO E VALIDAÇÃO DE SOFTWARE; JOGOS DE COMPUTADOR
- Language: Inglês
- Imprenta:
-
ABNT
PEREIRA, Carlos Alberto de Bragança e NAKANO, Fabio e STERN, Julio Michael. A dynamic software certification an verification procedure. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/f993b4f5-bae1-4a6d-b9e2-d6116c636ac3/1021511.pdf. Acesso em: 30 dez. 2025. , 1999 -
APA
Pereira, C. A. de B., Nakano, F., & Stern, J. M. (1999). A dynamic software certification an verification procedure. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/f993b4f5-bae1-4a6d-b9e2-d6116c636ac3/1021511.pdf -
NLM
Pereira CA de B, Nakano F, Stern JM. A dynamic software certification an verification procedure [Internet]. 1999 ;[citado 2025 dez. 30 ] Available from: https://repositorio.usp.br/directbitstream/f993b4f5-bae1-4a6d-b9e2-d6116c636ac3/1021511.pdf -
Vancouver
Pereira CA de B, Nakano F, Stern JM. A dynamic software certification an verification procedure [Internet]. 1999 ;[citado 2025 dez. 30 ] Available from: https://repositorio.usp.br/directbitstream/f993b4f5-bae1-4a6d-b9e2-d6116c636ac3/1021511.pdf - Cointegration: Bayesian significance test
- Bayesian epistemic values: focus on surprise, measure probability
- Enviromental genotoxicity evaluation: Bayesian approach for a mixture statistical model
- Actuarial analysis via branching processes
- An essay on the role of Bernoulli and Poisson processes in Bayesian statistics
- Inferência indutiva com dados discretos: uma visão genuinamente Bayesiana
- Unit roots: Bayesian significance test
- A weibull wearout test: full Bayesian approach
- Model selection: full Bayesian approach
- Model selection: full Bayesian approach
Download do texto completo
| Tipo | Nome | Link | |
|---|---|---|---|
 |
1021511.pdf | Direct link |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
