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:
- 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: 20 fev. 2026. -
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 2026 fev. 20 ] -
Vancouver
Pereira CA de B, Nakano F, Stern JM. A dynamic software certification an verification procedure. Proceedings Information Systems Development. 1999 ;[citado 2026 fev. 20 ] - E‐value
- Cointegration: Bayesian significance test
- Model selection: full Bayesian approach
- Unit roots: Bayesian significance test
- Bayesian evidence test for precise hypotheses
- Full Bayesian significance test for coefficients of variation
- Bayesian inference and maximum entropy methods in science and engineering
- Special characterizations of standard discrete models
- Full Bayesian significance test applied to multivariate normal structure models
- Bayesian epistemic values: focus on surprise, measure probability
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
