ReP USP - Resultado da busca

Trabalho de evento-anais periodico
Validated test models for software product lines: featured finite state machines (2017)
Fragal, Vanderson Hafemann; Simão, Adenilso da Silva ; Mousavi, Mohammad Reza
Fonte: Lecture Notes in Computer Science (LNCS). Nome do evento: International Conference Formal Aspects of Component Software - FACS. Unidade: ICMC
Assuntos: VALIDAÇÃO DE MODELOS, SOFTWARES, ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FRAGAL, Vanderson Hafemann e SIMÃO, Adenilso da Silva e MOUSAVI, Mohammad Reza. Validated test models for software product lines: featured finite state machines. Lecture Notes in Computer Science (LNCS). Cham, SZ: Springer. Disponível em: https://doi.org/10.1007/978-3-319-57666-4_13. Acesso em: 12 out. 2024. , 2017
APA
Fragal, V. H., Simão, A. da S., & Mousavi, M. R. (2017). Validated test models for software product lines: featured finite state machines. Lecture Notes in Computer Science (LNCS). Cham, SZ: Springer. doi:10.1007/978-3-319-57666-4_13
NLM
Fragal VH, Simão A da S, Mousavi MR. Validated test models for software product lines: featured finite state machines [Internet]. Lecture Notes in Computer Science (LNCS). 2017 ; 10533 210-227.[citado 2024 out. 12 ] Available from: https://doi.org/10.1007/978-3-319-57666-4_13
Vancouver
Fragal VH, Simão A da S, Mousavi MR. Validated test models for software product lines: featured finite state machines [Internet]. Lecture Notes in Computer Science (LNCS). 2017 ; 10533 210-227.[citado 2024 out. 12 ] Available from: https://doi.org/10.1007/978-3-319-57666-4_13
Trabalho de evento-anais periodico
Adaptive localizer based on splitting trees (2017)
Groz, Roland; Simão, Adenilso da Silva ; Oriat, Catherine
Fonte: Lecture Notes in Computer Science (LNCS). Nome do evento: IFIP International Conference on Testing Software and Systems - IFIP-ICTSS. Unidade: ICMC
Assuntos: SISTEMAS DE INFORMAÇÃO, ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GROZ, Roland e SIMÃO, Adenilso da Silva e ORIAT, Catherine. Adaptive localizer based on splitting trees. Lecture Notes in Computer Science (LNCS). Cham, SZ: Springer. Disponível em: https://doi.org/10.1007/978-3-319-67549-7_21. Acesso em: 12 out. 2024. , 2017
APA
Groz, R., Simão, A. da S., & Oriat, C. (2017). Adaptive localizer based on splitting trees. Lecture Notes in Computer Science (LNCS). Cham, SZ: Springer. doi:10.1007/978-3-319-67549-7_21
NLM
Groz R, Simão A da S, Oriat C. Adaptive localizer based on splitting trees [Internet]. Lecture Notes in Computer Science (LNCS). 2017 ; 10533 326-332.[citado 2024 out. 12 ] Available from: https://doi.org/10.1007/978-3-319-67549-7_21
Vancouver
Groz R, Simão A da S, Oriat C. Adaptive localizer based on splitting trees [Internet]. Lecture Notes in Computer Science (LNCS). 2017 ; 10533 326-332.[citado 2024 out. 12 ] Available from: https://doi.org/10.1007/978-3-319-67549-7_21
Trabalho de evento-anais periodico
Generating checking sequences for user defined fault models (2017)
Petrenko, Alexandre; Simão, Adenilso da Silva
Fonte: Lecture Notes in Computer Science (LNCS). Nome do evento: IFIP International Conference on Testing Software and Systems - IFIP-ICTSS. Unidade: ICMC
Assuntos: SISTEMAS DE INFORMAÇÃO, ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PETRENKO, Alexandre e SIMÃO, Adenilso da Silva. Generating checking sequences for user defined fault models. Lecture Notes in Computer Science (LNCS). Cham, SZ: Springer. Disponível em: https://doi.org/10.1007/978-3-319-67549-7_20. Acesso em: 12 out. 2024. , 2017
APA
Petrenko, A., & Simão, A. da S. (2017). Generating checking sequences for user defined fault models. Lecture Notes in Computer Science (LNCS). Cham, SZ: Springer. doi:10.1007/978-3-319-67549-7_20
NLM
Petrenko A, Simão A da S. Generating checking sequences for user defined fault models [Internet]. Lecture Notes in Computer Science (LNCS). 2017 ; 10533 320-325.[citado 2024 out. 12 ] Available from: https://doi.org/10.1007/978-3-319-67549-7_20
Vancouver
Petrenko A, Simão A da S. Generating checking sequences for user defined fault models [Internet]. Lecture Notes in Computer Science (LNCS). 2017 ; 10533 320-325.[citado 2024 out. 12 ] Available from: https://doi.org/10.1007/978-3-319-67549-7_20
Trabalho de evento-anais periodico
Fault-based testing for refinement in CSP (2017)
Cavalcanti, Ana; Simão, Adenilso da Silva
Fonte: Lecture Notes in Computer Science (LNCS). Nome do evento: IFIP International Conference on Testing Software and Systems - IFIP-ICTSS. Unidade: ICMC
Assuntos: SISTEMAS DE INFORMAÇÃO, ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CAVALCANTI, Ana e SIMÃO, Adenilso da Silva. Fault-based testing for refinement in CSP. Lecture Notes in Computer Science (LNCS). Cham, SZ: Springer. Disponível em: https://doi.org/10.1007/978-3-319-67549-7_2. Acesso em: 12 out. 2024. , 2017
APA
Cavalcanti, A., & Simão, A. da S. (2017). Fault-based testing for refinement in CSP. Lecture Notes in Computer Science (LNCS). Cham, SZ: Springer. doi:10.1007/978-3-319-67549-7_2
NLM
Cavalcanti A, Simão A da S. Fault-based testing for refinement in CSP [Internet]. Lecture Notes in Computer Science (LNCS). 2017 ; 10533 21-37.[citado 2024 out. 12 ] Available from: https://doi.org/10.1007/978-3-319-67549-7_2
Vancouver
Cavalcanti A, Simão A da S. Fault-based testing for refinement in CSP [Internet]. Lecture Notes in Computer Science (LNCS). 2017 ; 10533 21-37.[citado 2024 out. 12 ] Available from: https://doi.org/10.1007/978-3-319-67549-7_2
Trabalho de evento-anais periodico
Integrating hierarchical clustering and pareto-efficiency to preventive controls selection in voltage stability assessment (2015)
Mansour, Moussa R; Delbem, Alexandre Cláudio Botazzo ; Alberto, Luís Fernando Costa; Ramos, Rodrigo Andrade
Fonte: Lecture Notes in Computer Science (LNCS). Nome do evento: International Conference Evolutionary Multi-Criterion Optimization - EMO. Unidades: ICMC, EESC
Assuntos: SISTEMAS EMBUTIDOS, COMPUTAÇÃO EVOLUTIVA, ROBÓTICA, SISTEMAS ELÉTRICOS DE POTÊNCIA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MANSOUR, Moussa R et al. Integrating hierarchical clustering and pareto-efficiency to preventive controls selection in voltage stability assessment. Lecture Notes in Computer Science (LNCS). Cham: Springer. Disponível em: https://doi.org/10.1007/978-3-319-15892-1_33. Acesso em: 12 out. 2024. , 2015
APA
Mansour, M. R., Delbem, A. C. B., Alberto, L. F. C., & Ramos, R. A. (2015). Integrating hierarchical clustering and pareto-efficiency to preventive controls selection in voltage stability assessment. Lecture Notes in Computer Science (LNCS). Cham: Springer. doi:10.1007/978-3-319-15892-1_33
NLM
Mansour MR, Delbem ACB, Alberto LFC, Ramos RA. Integrating hierarchical clustering and pareto-efficiency to preventive controls selection in voltage stability assessment [Internet]. Lecture Notes in Computer Science (LNCS). 2015 ; 9019 487-497.[citado 2024 out. 12 ] Available from: https://doi.org/10.1007/978-3-319-15892-1_33
Vancouver
Mansour MR, Delbem ACB, Alberto LFC, Ramos RA. Integrating hierarchical clustering and pareto-efficiency to preventive controls selection in voltage stability assessment [Internet]. Lecture Notes in Computer Science (LNCS). 2015 ; 9019 487-497.[citado 2024 out. 12 ] Available from: https://doi.org/10.1007/978-3-319-15892-1_33

Unidades USP

ReP

Filtros

Autores

Assuntos