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
Source: Lecture Notes in Computer Science (LNCS). Conference titles: International Conference Formal Aspects of Component Software - FACS. Unidade: ICMC
Subjects: 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: 25 jun. 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 jun. 25 ] 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 jun. 25 ] 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
Source: Lecture Notes in Computer Science (LNCS). Conference titles: IFIP International Conference on Testing Software and Systems - IFIP-ICTSS. Unidade: ICMC
Subjects: 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: 25 jun. 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 jun. 25 ] 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 jun. 25 ] 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
Source: Lecture Notes in Computer Science (LNCS). Conference titles: IFIP International Conference on Testing Software and Systems - IFIP-ICTSS. Unidade: ICMC
Subjects: 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: 25 jun. 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 jun. 25 ] 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 jun. 25 ] 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
Source: Lecture Notes in Computer Science (LNCS). Conference titles: IFIP International Conference on Testing Software and Systems - IFIP-ICTSS. Unidade: ICMC
Subjects: 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: 25 jun. 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 jun. 25 ] 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 jun. 25 ] 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
Source: Lecture Notes in Computer Science (LNCS). Conference titles: International Conference Evolutionary Multi-Criterion Optimization - EMO. Unidades: ICMC, EESC
Subjects: 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: 25 jun. 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 jun. 25 ] 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 jun. 25 ] Available from: https://doi.org/10.1007/978-3-319-15892-1_33
Trabalho de evento-anais periodico
Multi-objective evolutionary algorithm with discrete differential mutation operator for service restoration in large-scale distribution systems (2015)
Sanches, Danilo Sipoli; Lima, Telma Woerle de; London Junior, João Bosco Augusto; Delbem, Alexandre Cláudio Botazzo ; Prado, Ricardo Sérgio; Guimarães, Frederico Gadelha
Source: Lecture Notes in Computer Science (LNCS). Conference titles: International Conference Evolutionary Multi-Criterion Optimization - EMO. Unidades: EESC, ICMC
Subjects: 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
SANCHES, Danilo Sipoli et al. Multi-objective evolutionary algorithm with discrete differential mutation operator for service restoration in large-scale distribution systems. Lecture Notes in Computer Science (LNCS). Cham: Springer. Disponível em: https://doi.org/10.1007/978-3-319-15892-1_34. Acesso em: 25 jun. 2024. , 2015
APA
Sanches, D. S., Lima, T. W. de, London Junior, J. B. A., Delbem, A. C. B., Prado, R. S., & Guimarães, F. G. (2015). Multi-objective evolutionary algorithm with discrete differential mutation operator for service restoration in large-scale distribution systems. Lecture Notes in Computer Science (LNCS). Cham: Springer. doi:10.1007/978-3-319-15892-1_34
NLM
Sanches DS, Lima TW de, London Junior JBA, Delbem ACB, Prado RS, Guimarães FG. Multi-objective evolutionary algorithm with discrete differential mutation operator for service restoration in large-scale distribution systems [Internet]. Lecture Notes in Computer Science (LNCS). 2015 ; 9019 498-513.[citado 2024 jun. 25 ] Available from: https://doi.org/10.1007/978-3-319-15892-1_34
Vancouver
Sanches DS, Lima TW de, London Junior JBA, Delbem ACB, Prado RS, Guimarães FG. Multi-objective evolutionary algorithm with discrete differential mutation operator for service restoration in large-scale distribution systems [Internet]. Lecture Notes in Computer Science (LNCS). 2015 ; 9019 498-513.[citado 2024 jun. 25 ] Available from: https://doi.org/10.1007/978-3-319-15892-1_34

USP Schools

ReP

Filtros

Authors

Subjects

Non normalized affiliation

Countries of institutions of collaboration