ReP USP - Resultado da busca

Trabalho de evento-anais periodico
A formal model for startups financial transactions (2024)
Stevaux, Rodrigo; Melo, Ana Cristina Vieira de
Source: Formal Methods: Foundations and Applications - 26th Brazilian Symposium, SBMF 2023 Proceedings. Conference titles: Brazilian Symposium on Formal Methods - SBMF. Unidade: IME
Assunto: ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
STEVAUX, Rodrigo e MELO, Ana Cristina Vieira de. A formal model for startups financial transactions. Formal Methods: Foundations and Applications - 26th Brazilian Symposium, SBMF 2023 Proceedings. Cham: Springer. Disponível em: https://doi.org/10.1007/978-3-031-49342-3_1. Acesso em: 27 nov. 2025. , 2024
APA
Stevaux, R., & Melo, A. C. V. de. (2024). A formal model for startups financial transactions. Formal Methods: Foundations and Applications - 26th Brazilian Symposium, SBMF 2023 Proceedings. Cham: Springer. doi:10.1007/978-3-031-49342-3_1
NLM
Stevaux R, Melo ACV de. A formal model for startups financial transactions [Internet]. Formal Methods: Foundations and Applications - 26th Brazilian Symposium, SBMF 2023 Proceedings. 2024 ; 3-19.[citado 2025 nov. 27 ] Available from: https://doi.org/10.1007/978-3-031-49342-3_1
Vancouver
Stevaux R, Melo ACV de. A formal model for startups financial transactions [Internet]. Formal Methods: Foundations and Applications - 26th Brazilian Symposium, SBMF 2023 Proceedings. 2024 ; 3-19.[citado 2025 nov. 27 ] Available from: https://doi.org/10.1007/978-3-031-49342-3_1
Trabalho de evento-resumo
To test or not to test, that is formal question (2015)
Simão, Adenilso da Silva
Source: Anais. Conference titles: Brazilian Symposium on Formal Methods - SBMF. Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SIMÃO, Adenilso da Silva. To test or not to test, that is formal question. 2015, Anais.. Porto Alegre, RS: SBC, 2015. Disponível em: http://cbsoft.org/articles/0000/0534/SBMF.pdf. Acesso em: 27 nov. 2025.
APA
Simão, A. da S. (2015). To test or not to test, that is formal question. In Anais. Porto Alegre, RS: SBC. Recuperado de http://cbsoft.org/articles/0000/0534/SBMF.pdf
NLM
Simão A da S. To test or not to test, that is formal question [Internet]. Anais. 2015 ;[citado 2025 nov. 27 ] Available from: http://cbsoft.org/articles/0000/0534/SBMF.pdf
Vancouver
Simão A da S. To test or not to test, that is formal question [Internet]. Anais. 2015 ;[citado 2025 nov. 27 ] Available from: http://cbsoft.org/articles/0000/0534/SBMF.pdf
Trabalho de evento-anais periodico
To test or not to test (2015)
Simão, Adenilso da Silva
Source: Lecture Notes in Computer Science. Conference titles: Brazilian Symposium on Formal Methods - SBMF. Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SIMÃO, Adenilso da Silva. To test or not to test. Lecture Notes in Computer Science. Cham: Springer. Disponível em: https://doi.org/10.1007/978-3-319-29473-5. Acesso em: 27 nov. 2025. , 2015
APA
Simão, A. da S. (2015). To test or not to test. Lecture Notes in Computer Science. Cham: Springer. doi:10.1007/978-3-319-29473-5
NLM
Simão A da S. To test or not to test [Internet]. Lecture Notes in Computer Science. 2015 ; 9526 XIV-XV.[citado 2025 nov. 27 ] Available from: https://doi.org/10.1007/978-3-319-29473-5
Vancouver
Simão A da S. To test or not to test [Internet]. Lecture Notes in Computer Science. 2015 ; 9526 XIV-XV.[citado 2025 nov. 27 ] Available from: https://doi.org/10.1007/978-3-319-29473-5
Trabalho de evento
Toward the revision of CTL models through Kripke modal transition systems (2013)
Guerra, Paulo T; Andrade, Aline; Wassermann, Renata
Source: Proceedings. Conference titles: Brazilian Symposium on Formal Methods - SBMF. Unidade: IME
Subjects: LÓGICA MODAL, REVISÃO DE CRENÇAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GUERRA, Paulo T e ANDRADE, Aline e WASSERMANN, Renata. Toward the revision of CTL models through Kripke modal transition systems. 2013, Anais.. Berlin: Springer, 2013. Disponível em: https://doi.org/10.1007/978-3-642-41071-0_9. Acesso em: 27 nov. 2025.
APA
Guerra, P. T., Andrade, A., & Wassermann, R. (2013). Toward the revision of CTL models through Kripke modal transition systems. In Proceedings. Berlin: Springer. doi:10.1007/978-3-642-41071-0_9
NLM
Guerra PT, Andrade A, Wassermann R. Toward the revision of CTL models through Kripke modal transition systems [Internet]. Proceedings. 2013 ;[citado 2025 nov. 27 ] Available from: https://doi.org/10.1007/978-3-642-41071-0_9
Vancouver
Guerra PT, Andrade A, Wassermann R. Toward the revision of CTL models through Kripke modal transition systems [Internet]. Proceedings. 2013 ;[citado 2025 nov. 27 ] Available from: https://doi.org/10.1007/978-3-642-41071-0_9
Trabalho de evento
PiStache: implementing π-calculus in scala (2011)
Matiello, Pedro; Melo, Ana Cristina Vieira de
Source: Proceedings. Conference titles: Brazilian Symposium on Formal Methods - SBMF. Unidade: IME
Subjects: DESENVOLVIMENTO DE SOFTWARE, SEMÂNTICA DE PROGRAMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MATIELLO, Pedro e MELO, Ana Cristina Vieira de. PiStache: implementing π-calculus in scala. 2011, Anais.. Berlin: Springer, 2011. Disponível em: https://doi.org/10.1007/978-3-642-25032-3_6. Acesso em: 27 nov. 2025.
APA
Matiello, P., & Melo, A. C. V. de. (2011). PiStache: implementing π-calculus in scala. In Proceedings. Berlin: Springer. doi:10.1007/978-3-642-25032-3_6
NLM
Matiello P, Melo ACV de. PiStache: implementing π-calculus in scala [Internet]. Proceedings. 2011 ;[citado 2025 nov. 27 ] Available from: https://doi.org/10.1007/978-3-642-25032-3_6
Vancouver
Matiello P, Melo ACV de. PiStache: implementing π-calculus in scala [Internet]. Proceedings. 2011 ;[citado 2025 nov. 27 ] Available from: https://doi.org/10.1007/978-3-642-25032-3_6
Parte de monografia/livro-apres/pref/posf
This volume contains the papers presented at SBMF 2010... [Prefácio] (2011)
Davies, Jim; Silva, Leila; Simão, Adenilso da Silva
Source: Proceedings. Conference titles: Brazilian Symposium on Formal Methods - SBMF. Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DAVIES, Jim e SILVA, Leila e SIMÃO, Adenilso da Silva. This volume contains the papers presented at SBMF 2010.. [Prefácio]. Proceedings. Heidelberg: Springer. Disponível em: https://doi.org/10.1007/978-3-642-19829-8. Acesso em: 27 nov. 2025. , 2011
APA
Davies, J., Silva, L., & Simão, A. da S. (2011). This volume contains the papers presented at SBMF 2010.. [Prefácio]. Proceedings. Heidelberg: Springer. doi:10.1007/978-3-642-19829-8
NLM
Davies J, Silva L, Simão A da S. This volume contains the papers presented at SBMF 2010.. [Prefácio] [Internet]. Proceedings. 2011 ;[citado 2025 nov. 27 ] Available from: https://doi.org/10.1007/978-3-642-19829-8
Vancouver
Davies J, Silva L, Simão A da S. This volume contains the papers presented at SBMF 2010.. [Prefácio] [Internet]. Proceedings. 2011 ;[citado 2025 nov. 27 ] Available from: https://doi.org/10.1007/978-3-642-19829-8
Monografia/livro-ed/org
Formal methods: foundations and applications (2011)
Davies, Jim (Editor); Silva, Leila (Editor); Simão, Adenilso da Silva (Editor)
Source: Proceedings. Conference titles: Brazilian Symposium on Formal Methods - SBMF. Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
Formal methods: foundations and applications. Proceedings. Heidelberg: Springer. Disponível em: https://doi.org/10.1007/978-3-642-33296-8. Acesso em: 27 nov. 2025. , 2011
APA
Formal methods: foundations and applications. (2011). Formal methods: foundations and applications. Proceedings. Heidelberg: Springer. doi:10.1007/978-3-642-33296-8
NLM
Formal methods: foundations and applications [Internet]. Proceedings. 2011 ;[citado 2025 nov. 27 ] Available from: https://doi.org/10.1007/978-3-642-33296-8
Vancouver
Formal methods: foundations and applications [Internet]. Proceedings. 2011 ;[citado 2025 nov. 27 ] Available from: https://doi.org/10.1007/978-3-642-33296-8
Trabalho de evento-anais periodico
Model checking merged program traces (2009)
Silva, Paulo Salem da; Melo, Ana Cristina Vieira de
Source: Electronic Notes in Theoretical Computer Science. Conference titles: Brazilian Symposium on Formal Methods - SBMF. Unidade: IME
Subjects: JAVA, MODELOS DE PROCESSO DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVA, Paulo Salem da e MELO, Ana Cristina Vieira de. Model checking merged program traces. Electronic Notes in Theoretical Computer Science. Amsterdam: Elsevier. Disponível em: https://doi.org/10.1016/j.entcs.2009.05.047. Acesso em: 27 nov. 2025. , 2009
APA
Silva, P. S. da, & Melo, A. C. V. de. (2009). Model checking merged program traces. Electronic Notes in Theoretical Computer Science. Amsterdam: Elsevier. doi:10.1016/j.entcs.2009.05.047
NLM
Silva PS da, Melo ACV de. Model checking merged program traces [Internet]. Electronic Notes in Theoretical Computer Science. 2009 ; 240 97-112.[citado 2025 nov. 27 ] Available from: https://doi.org/10.1016/j.entcs.2009.05.047
Vancouver
Silva PS da, Melo ACV de. Model checking merged program traces [Internet]. Electronic Notes in Theoretical Computer Science. 2009 ; 240 97-112.[citado 2025 nov. 27 ] Available from: https://doi.org/10.1016/j.entcs.2009.05.047
Trabalho de evento
Geração de dados de teste a partir de modelos de sistemas embarcados: uma revisão sistemática (2009)
Araujo, Rodrigo Fraxino; Durelli, Vinícius Humberto Serapilha ; Delamaro, Márcio Eduardo ; Maldonado, José Carlos
Source: Proceedings. Conference titles: Brazilian Symposium on Formal Methods - SBMF. Unidade: ICMC
Subjects: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ARAUJO, Rodrigo Fraxino et al. Geração de dados de teste a partir de modelos de sistemas embarcados: uma revisão sistemática. 2009, Anais.. Porto Alegre: SBC, 2009. . Acesso em: 27 nov. 2025.
APA
Araujo, R. F., Durelli, V. H. S., Delamaro, M. E., & Maldonado, J. C. (2009). Geração de dados de teste a partir de modelos de sistemas embarcados: uma revisão sistemática. In Proceedings. Porto Alegre: SBC.
NLM
Araujo RF, Durelli VHS, Delamaro ME, Maldonado JC. Geração de dados de teste a partir de modelos de sistemas embarcados: uma revisão sistemática. Proceedings. 2009 ;[citado 2025 nov. 27 ]
Vancouver
Araujo RF, Durelli VHS, Delamaro ME, Maldonado JC. Geração de dados de teste a partir de modelos de sistemas embarcados: uma revisão sistemática. Proceedings. 2009 ;[citado 2025 nov. 27 ]
Trabalho de evento-anais periodico
From active names to π-calculus rewriting rules (2005)
Melo, Ana Cristina Vieira de
Source: Electronic Notes in Theoretical Computer Science. Conference titles: Brazilian Symposium on Formal Methods - SBMF. Unidade: IME
Subjects: TEORIA DOS AUTÔMATOS, MODELOS MATEMÁTICOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MELO, Ana Cristina Vieira de. From active names to π-calculus rewriting rules. Electronic Notes in Theoretical Computer Science. Amsterdam: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://doi.org/10.1016/j.entcs.2005.03.010. Acesso em: 27 nov. 2025. , 2005
APA
Melo, A. C. V. de. (2005). From active names to π-calculus rewriting rules. Electronic Notes in Theoretical Computer Science. Amsterdam: Instituto de Matemática e Estatística, Universidade de São Paulo. doi:10.1016/j.entcs.2005.03.010
NLM
Melo ACV de. From active names to π-calculus rewriting rules [Internet]. Electronic Notes in Theoretical Computer Science. 2005 ; 130 169-185.[citado 2025 nov. 27 ] Available from: https://doi.org/10.1016/j.entcs.2005.03.010
Vancouver
Melo ACV de. From active names to π-calculus rewriting rules [Internet]. Electronic Notes in Theoretical Computer Science. 2005 ; 130 169-185.[citado 2025 nov. 27 ] Available from: https://doi.org/10.1016/j.entcs.2005.03.010

USP Schools

ReP

Filtros

Authors

USP affiliated authors

Date published

Subjects