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:
- Source:
- Título do periódico: Proceedings Information Systems Development
- Conference titles: World Multiconference on Systemics, Cybernetics and Informatics - SCI'99
-
ABNT
PEREIRA, Carlos Alberto de Bragança e NAKANO, Fábio e STERN, Julio Michael. A dynamic software certification an verification procedure. 1999, Anais.. Orlando: IIIS, 1999. . Acesso em: 28 mar. 2024. -
APA
Pereira, C. A. de B., Nakano, F., & Stern, J. M. (1999). A dynamic software certification an verification procedure. In Proceedings Information Systems Development. Orlando: IIIS. -
NLM
Pereira CA de B, Nakano F, Stern JM. A dynamic software certification an verification procedure. Proceedings Information Systems Development. 1999 ;[citado 2024 mar. 28 ] -
Vancouver
Pereira CA de B, Nakano F, Stern JM. A dynamic software certification an verification procedure. Proceedings Information Systems Development. 1999 ;[citado 2024 mar. 28 ] - 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
- Model selection: full Bayesian approach
- E‐value
- Evidence and credibility: full Bayesian significance test for precise hypotheses
- Full Bayesian significance test: Behrens-Fisher and coefficients of variation problems
- Full Bayesian significance test: invariant formulation
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas