ReP USP - Resultado da busca

Tese (Doutorado)
Formal mutation testing in Circus process algebra (2018)
Alberto, Alex D. B; Gauldel, Marie-Caude Antoinette Renée (coorient); Simão, Adenilso da Silva (Orientador)
Unidade: ICMC
Subjects: SOFTWARES, ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ALBERTO, Alex D. B. Formal mutation testing in Circus process algebra. 2018. Tese (Doutorado) – Universidade de São Paulo, São Carlos, 2018. Disponível em: https://teses.usp.br/teses/disponiveis/55/55134/tde-04012019-112931/. Acesso em: 30 abr. 2026.
APA
Alberto, A. D. B. (2018). Formal mutation testing in Circus process algebra (Tese (Doutorado). Universidade de São Paulo, São Carlos. Recuperado de https://teses.usp.br/teses/disponiveis/55/55134/tde-04012019-112931/
NLM
Alberto ADB. Formal mutation testing in Circus process algebra [Internet]. 2018 ;[citado 2026 abr. 30 ] Available from: https://teses.usp.br/teses/disponiveis/55/55134/tde-04012019-112931/
Vancouver
Alberto ADB. Formal mutation testing in Circus process algebra [Internet]. 2018 ;[citado 2026 abr. 30 ] Available from: https://teses.usp.br/teses/disponiveis/55/55134/tde-04012019-112931/
Trabalho de evento
NPTool: towards scalability and reliability of business process management (2009)
Braghetto, Kelly Rosa ; Ferreira, João Eduardo ; Pu, Calton
Source: Proceedings. Conference titles: International Conference on E-Business and Telecommunications - ICETE. Unidade: IME
Subjects: GESTÃO POR PROCESSOS, BANCO DE DADOS RELACIONAIS, COMÉRCIO ELETRÔNICO, ÁLGEBRA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BRAGHETTO, Kelly Rosa e FERREIRA, João Eduardo e PU, Calton. NPTool: towards scalability and reliability of business process management. 2009, Anais.. Berlin: Springer, 2009. Disponível em: https://doi.org/10.1007/978-3-642-05197-5_7. Acesso em: 30 abr. 2026.
APA
Braghetto, K. R., Ferreira, J. E., & Pu, C. (2009). NPTool: towards scalability and reliability of business process management. In Proceedings. Berlin: Springer. doi:10.1007/978-3-642-05197-5_7
NLM
Braghetto KR, Ferreira JE, Pu C. NPTool: towards scalability and reliability of business process management [Internet]. Proceedings. 2009 ;[citado 2026 abr. 30 ] Available from: https://doi.org/10.1007/978-3-642-05197-5_7
Vancouver
Braghetto KR, Ferreira JE, Pu C. NPTool: towards scalability and reliability of business process management [Internet]. Proceedings. 2009 ;[citado 2026 abr. 30 ] Available from: https://doi.org/10.1007/978-3-642-05197-5_7
Trabalho de evento
Business processes management using process algebra and relational database model (2008)
Braghetto, Kelly Rosa ; Ferreira, João Eduardo ; Pu, Calton
Source: Proceedings. Conference titles: International Conference on e-Business - ICE-B. Unidade: IME
Subjects: ÁLGEBRA, SISTEMAS DE INFORMAÇÃO, BANCO DE DADOS RELACIONAIS, SISTEMAS DE INFORMAÇÃO GERENCIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BRAGHETTO, Kelly Rosa e FERREIRA, João Eduardo e PU, Calton. Business processes management using process algebra and relational database model. 2008, Anais.. Setúbal: SciTePress, 2008. Disponível em: https://doi.org/10.5220/0001908903230333. Acesso em: 30 abr. 2026.
APA
Braghetto, K. R., Ferreira, J. E., & Pu, C. (2008). Business processes management using process algebra and relational database model. In Proceedings. Setúbal: SciTePress. doi:10.5220/0001908903230333
NLM
Braghetto KR, Ferreira JE, Pu C. Business processes management using process algebra and relational database model [Internet]. Proceedings. 2008 ;[citado 2026 abr. 30 ] Available from: https://doi.org/10.5220/0001908903230333
Vancouver
Braghetto KR, Ferreira JE, Pu C. Business processes management using process algebra and relational database model [Internet]. Proceedings. 2008 ;[citado 2026 abr. 30 ] Available from: https://doi.org/10.5220/0001908903230333
Trabalho de evento
HIV drug resistance analysis tool based on process algebra (2008)
Araújo, Luciano Vieira de ; Sabino, Ester Cerdeira ; Ferreira, João Eduardo
Source: Proceedings. Conference titles: Symposium on Applied Computing - SAC. Unidades: FM, IME, Interunidades em Bioinformática
Subjects: ÁLGEBRA, HIV, COMPUTAÇÃO APLICADA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ARAÚJO, Luciano Vieira de e SABINO, Ester Cerdeira e FERREIRA, João Eduardo. HIV drug resistance analysis tool based on process algebra. 2008, Anais.. New York: ACM, 2008. Disponível em: https://doi.org/10.1145/1363686.1364001. Acesso em: 30 abr. 2026.
APA
Araújo, L. V. de, Sabino, E. C., & Ferreira, J. E. (2008). HIV drug resistance analysis tool based on process algebra. In Proceedings. New York: ACM. doi:10.1145/1363686.1364001
NLM
Araújo LV de, Sabino EC, Ferreira JE. HIV drug resistance analysis tool based on process algebra [Internet]. Proceedings. 2008 ;[citado 2026 abr. 30 ] Available from: https://doi.org/10.1145/1363686.1364001
Vancouver
Araújo LV de, Sabino EC, Ferreira JE. HIV drug resistance analysis tool based on process algebra [Internet]. Proceedings. 2008 ;[citado 2026 abr. 30 ] Available from: https://doi.org/10.1145/1363686.1364001

USP Schools

ReP

Filtros

Authors

Subjects