ReP USP - Resultado da busca

Trabalho de evento-anais periodico
ValiPVM - a graphical tool for structural testing of PVM programs (2008)
Souza, Paulo Sérgio Lopes de ; Sawabe, Eduardo T.; Simão, Adenilso da Silva ; Vergílio, Sílvia Regina; Souza, Simone do Rocio Senger de
Fonte: Lecture Notes in Computer Science. Nome do evento: European PVM/MPI User's Group Meeting. Unidade: ICMC
Assuntos: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SOUZA, Paulo Sérgio Lopes de et al. ValiPVM - a graphical tool for structural testing of PVM programs. Lecture Notes in Computer Science. Heidelberger: Springer. Disponível em: http://www.springerlink.com/content/ju45601782808012/fulltext.pdf. Acesso em: 02 out. 2024. , 2008
APA
Souza, P. S. L. de, Sawabe, E. T., Simão, A. da S., Vergílio, S. R., & Souza, S. do R. S. de. (2008). ValiPVM - a graphical tool for structural testing of PVM programs. Lecture Notes in Computer Science. Heidelberger: Springer. Recuperado de http://www.springerlink.com/content/ju45601782808012/fulltext.pdf
NLM
Souza PSL de, Sawabe ET, Simão A da S, Vergílio SR, Souza S do RS de. ValiPVM - a graphical tool for structural testing of PVM programs [Internet]. Lecture Notes in Computer Science. 2008 ; 5205 257-264.[citado 2024 out. 02 ] Available from: http://www.springerlink.com/content/ju45601782808012/fulltext.pdf
Vancouver
Souza PSL de, Sawabe ET, Simão A da S, Vergílio SR, Souza S do RS de. ValiPVM - a graphical tool for structural testing of PVM programs [Internet]. Lecture Notes in Computer Science. 2008 ; 5205 257-264.[citado 2024 out. 02 ] Available from: http://www.springerlink.com/content/ju45601782808012/fulltext.pdf
Trabalho de evento-anais periodico
Generating checking sequences for partial finite state machines (2008)
Simão, Adenilso da Silva ; Petrenko, Alexandre
Fonte: Lecture Notes in Computer Science. Nome do evento: International Conference, TestCom 2008 - IFIP TC6/WG 6.1. Unidade: ICMC
Assuntos: 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 e PETRENKO, Alexandre. Generating checking sequences for partial finite state machines. Lecture Notes in Computer Science. Berlin: Springer. Disponível em: http://www.springerlink.com/content/l8157t457k771104/?p=157bb5eb09034a56882498aea060ecea&pi=0. Acesso em: 02 out. 2024. , 2008
APA
Simão, A. da S., & Petrenko, A. (2008). Generating checking sequences for partial finite state machines. Lecture Notes in Computer Science. Berlin: Springer. Recuperado de http://www.springerlink.com/content/l8157t457k771104/?p=157bb5eb09034a56882498aea060ecea&pi=0
NLM
Simão A da S, Petrenko A. Generating checking sequences for partial finite state machines [Internet]. Lecture Notes in Computer Science. 2008 ; 5047 153-168.[citado 2024 out. 02 ] Available from: http://www.springerlink.com/content/l8157t457k771104/?p=157bb5eb09034a56882498aea060ecea&pi=0
Vancouver
Simão A da S, Petrenko A. Generating checking sequences for partial finite state machines [Internet]. Lecture Notes in Computer Science. 2008 ; 5047 153-168.[citado 2024 out. 02 ] Available from: http://www.springerlink.com/content/l8157t457k771104/?p=157bb5eb09034a56882498aea060ecea&pi=0
Trabalho de evento-anais periodico
Structural testing for semaphore-based multithread programs (2008)
Sarmanho, Felipe S.; Souza, Paulo Sérgio Lopes de ; Souza, Simone do Rocio Senger de ; Simão, Adenilso da Silva
Fonte: Lecture Notes in Computer Science. Nome do evento: International Conference in Computer Science. Unidade: ICMC
Assuntos: ENGENHARIA DE SOFTWARE, SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SARMANHO, Felipe S. et al. Structural testing for semaphore-based multithread programs. Lecture Notes in Computer Science. Heidelberger: Springer. Disponível em: http://www.springerlink.com/content/b2jk158074366499/fulltext.pdf. Acesso em: 02 out. 2024. , 2008
APA
Sarmanho, F. S., Souza, P. S. L. de, Souza, S. do R. S. de, & Simão, A. da S. (2008). Structural testing for semaphore-based multithread programs. Lecture Notes in Computer Science. Heidelberger: Springer. Recuperado de http://www.springerlink.com/content/b2jk158074366499/fulltext.pdf
NLM
Sarmanho FS, Souza PSL de, Souza S do RS de, Simão A da S. Structural testing for semaphore-based multithread programs [Internet]. Lecture Notes in Computer Science. 2008 ; 5101 337-346.[citado 2024 out. 02 ] Available from: http://www.springerlink.com/content/b2jk158074366499/fulltext.pdf
Vancouver
Sarmanho FS, Souza PSL de, Souza S do RS de, Simão A da S. Structural testing for semaphore-based multithread programs [Internet]. Lecture Notes in Computer Science. 2008 ; 5101 337-346.[citado 2024 out. 02 ] Available from: http://www.springerlink.com/content/b2jk158074366499/fulltext.pdf

Unidades USP

ReP

Filtros

Autores