ReP USP - Resultado da busca

Artigo de periodico
Fog computing for sustainable smart cities: a survey (2017)
Perera, Charith; Qin, Yongrui; Estrella, Júlio Cezar ; Reiff-Marganiec, Stephan; Vasilakos, Athanasios V.
Source: ACM Computing Surveys. Unidade: ICMC
Subjects: SISTEMAS DISTRIBUÍDOS, PROGRAMAÇÃO CONCORRENTE, COMPUTAÇÃO EM NUVEM, METODOLOGIA E TÉCNICAS DE COMPUTAÇÃO, INTERNET DAS COISAS, SUSTENTABILIDADE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PERERA, Charith et al. Fog computing for sustainable smart cities: a survey. ACM Computing Surveys, v. 50, n. Ju 2017, p. 32:1-32:43, 2017Tradução . . Disponível em: https://doi.org/10.1145/3057266. Acesso em: 05 nov. 2024.
APA
Perera, C., Qin, Y., Estrella, J. C., Reiff-Marganiec, S., & Vasilakos, A. V. (2017). Fog computing for sustainable smart cities: a survey. ACM Computing Surveys, 50( Ju 2017), 32:1-32:43. doi:10.1145/3057266
NLM
Perera C, Qin Y, Estrella JC, Reiff-Marganiec S, Vasilakos AV. Fog computing for sustainable smart cities: a survey [Internet]. ACM Computing Surveys. 2017 ; 50( Ju 2017): 32:1-32:43.[citado 2024 nov. 05 ] Available from: https://doi.org/10.1145/3057266
Vancouver
Perera C, Qin Y, Estrella JC, Reiff-Marganiec S, Vasilakos AV. Fog computing for sustainable smart cities: a survey [Internet]. ACM Computing Surveys. 2017 ; 50( Ju 2017): 32:1-32:43.[citado 2024 nov. 05 ] Available from: https://doi.org/10.1145/3057266
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: 05 nov. 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 nov. 05 ] 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 nov. 05 ] Available from: https://doi.org/10.1007/978-3-319-57666-4_13
Trabalho de evento
Defining protocols of systematic literature reviews in software engineering: a survey (2017)
Felizardo, Katia Romero; Souza, Érica Ferreira de; Falbo, Ricardo de Almeida; Vijaykumar, Nandamudi Lankalapalli; Mendes, Emilia; Nakagawa, Elisa Yumi
Source: Proceedings. Conference titles: Euromicro Conference on Software Engineering and Advanced Applications – SEAA. 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
FELIZARDO, Katia Romero et al. Defining protocols of systematic literature reviews in software engineering: a survey. 2017, Anais.. Piscataway, NJ: IEEE, 2017. Disponível em: https://doi.org/10.1109/SEAA.2017.17. Acesso em: 05 nov. 2024.
APA
Felizardo, K. R., Souza, É. F. de, Falbo, R. de A., Vijaykumar, N. L., Mendes, E., & Nakagawa, E. Y. (2017). Defining protocols of systematic literature reviews in software engineering: a survey. In Proceedings. Piscataway, NJ: IEEE. doi:10.1109/SEAA.2017.17
NLM
Felizardo KR, Souza ÉF de, Falbo R de A, Vijaykumar NL, Mendes E, Nakagawa EY. Defining protocols of systematic literature reviews in software engineering: a survey [Internet]. Proceedings. 2017 ;[citado 2024 nov. 05 ] Available from: https://doi.org/10.1109/SEAA.2017.17
Vancouver
Felizardo KR, Souza ÉF de, Falbo R de A, Vijaykumar NL, Mendes E, Nakagawa EY. Defining protocols of systematic literature reviews in software engineering: a survey [Internet]. Proceedings. 2017 ;[citado 2024 nov. 05 ] Available from: https://doi.org/10.1109/SEAA.2017.17
Trabalho de evento
Reducing the concretization effort in fsm-based testing of software product lines (2017)
Fragal, Vanderson Hafemann; Simão, Adenilso da Silva ; Endo, André Takeshi; Mousavi, Mohammad Reza
Source: Proceedings. Conference titles: IEEE International Conference on Software Testing, Verification and Validation Workshops - ICSTW. 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
FRAGAL, Vanderson Hafemann et al. Reducing the concretization effort in fsm-based testing of software product lines. 2017, Anais.. Piscataway, NJ: IEEE, 2017. Disponível em: https://doi.org/10.1109/ICSTW.2017.61. Acesso em: 05 nov. 2024.
APA
Fragal, V. H., Simão, A. da S., Endo, A. T., & Mousavi, M. R. (2017). Reducing the concretization effort in fsm-based testing of software product lines. In Proceedings. Piscataway, NJ: IEEE. doi:10.1109/ICSTW.2017.61
NLM
Fragal VH, Simão A da S, Endo AT, Mousavi MR. Reducing the concretization effort in fsm-based testing of software product lines [Internet]. Proceedings. 2017 ;[citado 2024 nov. 05 ] Available from: https://doi.org/10.1109/ICSTW.2017.61
Vancouver
Fragal VH, Simão A da S, Endo AT, Mousavi MR. Reducing the concretization effort in fsm-based testing of software product lines [Internet]. Proceedings. 2017 ;[citado 2024 nov. 05 ] Available from: https://doi.org/10.1109/ICSTW.2017.61
Editor de periodico
Journal of Intelligent and Robotic Systems: theory and applications (2017)
Ahn, Hyo-Sung (Editor); Bernal, Iván F. Mondragón (Editor); Branco, Kalinka Regina Lucas Jaquie Castelo (Editor) ; Cui, Rongxin (Editor); Cortes, Hugo Rodriguez (Editor); Finn, Anthony (Editor); Goncalves, Luiz Marcos (Editor); Gracias, Nuno Ricardo (Editor); He, Wei (Editor); Olivares-Mendez, Miguel Angel (Editor); Nikolakopoulos, George (Editor); Noura, Hassan (Editor); Saripalli, Srikanth (Editor); Schulte, Horst (Editor); Sujit, PB (Editor); Teixeira, Francisco Curado (Editor)
Unidade: ICMC
Subjects: SISTEMAS DISTRIBUÍDOS, PROGRAMAÇÃO CONCORRENTE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
Journal of Intelligent and Robotic Systems: theory and applications. . Dordrecht: Springer. Disponível em: http://www.springer.com/engineering/control/journal/10846?detailsPage=editorialBoard. Acesso em: 05 nov. 2024. , 2017
APA
Journal of Intelligent and Robotic Systems: theory and applications. (2017). Journal of Intelligent and Robotic Systems: theory and applications. Dordrecht: Springer. Recuperado de http://www.springer.com/engineering/control/journal/10846?detailsPage=editorialBoard
NLM
Journal of Intelligent and Robotic Systems: theory and applications [Internet]. 2017 ;[citado 2024 nov. 05 ] Available from: http://www.springer.com/engineering/control/journal/10846?detailsPage=editorialBoard
Vancouver
Journal of Intelligent and Robotic Systems: theory and applications [Internet]. 2017 ;[citado 2024 nov. 05 ] Available from: http://www.springer.com/engineering/control/journal/10846?detailsPage=editorialBoard
Artigo de periodico
A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations (2017)
Figueras, Jordí-Liuís; Gameiro, Márcio Fuzeto ; Lessard, Jean-Philippe; Llave, Rafael de la
Source: SIAM Journal on Applied Dynamical Systems. Unidade: ICMC
Subjects: TEORIA DA BIFURCAÇÃO, ANÁLISE DE INTERVALOS, EQUAÇÕES DE EVOLUÇÃO, COMPUTAÇÃO APLICADA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FIGUERAS, Jordí-Liuís et al. A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations. SIAM Journal on Applied Dynamical Systems, v. 16, n. 2, p. 1070-1088, 2017Tradução . . Disponível em: https://doi.org/10.1137/16M1073777. Acesso em: 05 nov. 2024.
APA
Figueras, J. -L., Gameiro, M. F., Lessard, J. -P., & Llave, R. de la. (2017). A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations. SIAM Journal on Applied Dynamical Systems, 16( 2), 1070-1088. doi:10.1137/16M1073777
NLM
Figueras J-L, Gameiro MF, Lessard J-P, Llave R de la. A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations [Internet]. SIAM Journal on Applied Dynamical Systems. 2017 ; 16( 2): 1070-1088.[citado 2024 nov. 05 ] Available from: https://doi.org/10.1137/16M1073777
Vancouver
Figueras J-L, Gameiro MF, Lessard J-P, Llave R de la. A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations [Internet]. SIAM Journal on Applied Dynamical Systems. 2017 ; 16( 2): 1070-1088.[citado 2024 nov. 05 ] Available from: https://doi.org/10.1137/16M1073777

USP Schools

ReP

Filtros

Authors

Subjects

Indexado em

Non normalized affiliation

Countries of institutions of collaboration