Filtros : "Silva, José Reinaldo" Limpar

Filtros



Limitar por data


  • Unidade: EP

    Assuntos: ENGENHARIA DE REQUISITOS, PRODUTOS, SERVIÇOS

    Acesso à fonteComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      ZAPATA, Oscar Stiven Morales. Modelagem do processo de co-criação de valor para o design de sistemas de serviço automatizados. 2023. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2023. Disponível em: https://www.teses.usp.br/teses/disponiveis/3/3152/tde-08032024-105053/pt-br.php. Acesso em: 19 abr. 2024.
    • APA

      Zapata, O. S. M. (2023). Modelagem do processo de co-criação de valor para o design de sistemas de serviço automatizados (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/3/3152/tde-08032024-105053/pt-br.php
    • NLM

      Zapata OSM. Modelagem do processo de co-criação de valor para o design de sistemas de serviço automatizados [Internet]. 2023 ;[citado 2024 abr. 19 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3152/tde-08032024-105053/pt-br.php
    • Vancouver

      Zapata OSM. Modelagem do processo de co-criação de valor para o design de sistemas de serviço automatizados [Internet]. 2023 ;[citado 2024 abr. 19 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3152/tde-08032024-105053/pt-br.php
  • Unidade: EP

    Assuntos: ENGENHARIA DE REQUISITOS, SAÚDE, CASAS

    Acesso à fonteComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      CORREA, Yaney Gomez. A product-service architecture to design assistive smart homes. 2022. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2022. Disponível em: https://www.teses.usp.br/teses/disponiveis/3/3152/tde-06012023-093311/. Acesso em: 19 abr. 2024.
    • APA

      Correa, Y. G. (2022). A product-service architecture to design assistive smart homes (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/3/3152/tde-06012023-093311/
    • NLM

      Correa YG. A product-service architecture to design assistive smart homes [Internet]. 2022 ;[citado 2024 abr. 19 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3152/tde-06012023-093311/
    • Vancouver

      Correa YG. A product-service architecture to design assistive smart homes [Internet]. 2022 ;[citado 2024 abr. 19 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3152/tde-06012023-093311/
  • Unidade: EP

    Assuntos: ENGENHARIA, CONSUMO DE ENERGIA ELÉTRICA, REDES DE PETRI, SUSTENTABILIDADE

    Acesso à fonteComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      ORELLANA POSTIGO, Miguel Angel. Método para o design integrado de sistemas smart grid: uma abordagem sistêmica baseada em modelos. 2021. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2021. Disponível em: https://www.teses.usp.br/teses/disponiveis/3/3152/tde-22032022-105129/. Acesso em: 19 abr. 2024.
    • APA

      Orellana Postigo, M. A. (2021). Método para o design integrado de sistemas smart grid: uma abordagem sistêmica baseada em modelos (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/3/3152/tde-22032022-105129/
    • NLM

      Orellana Postigo MA. Método para o design integrado de sistemas smart grid: uma abordagem sistêmica baseada em modelos [Internet]. 2021 ;[citado 2024 abr. 19 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3152/tde-22032022-105129/
    • Vancouver

      Orellana Postigo MA. Método para o design integrado de sistemas smart grid: uma abordagem sistêmica baseada em modelos [Internet]. 2021 ;[citado 2024 abr. 19 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3152/tde-22032022-105129/
  • Fonte: Machines. Unidade: EP

    Assuntos: ENGENHARIA DE SISTEMAS DE COMPUTAÇÃO, ENGENHARIA DE REQUISITOS

    PrivadoAcesso à fonteDOIComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      ORELLANA, Miguel Angel e SILVA, José Reinaldo e PELLINI, Eduardo Lorenzetti. A model-based and goal-oriented approch for the conceptual design of smart grid services. Machines, v. 9, n. 12, p. 370, 2021Tradução . . Disponível em: https://doi.org/10.3390/machines9120370. Acesso em: 19 abr. 2024.
    • APA

      Orellana, M. A., Silva, J. R., & Pellini, E. L. (2021). A model-based and goal-oriented approch for the conceptual design of smart grid services. Machines, 9( 12), 370. doi:10.3390/machines9120370
    • NLM

      Orellana MA, Silva JR, Pellini EL. A model-based and goal-oriented approch for the conceptual design of smart grid services [Internet]. Machines. 2021 ;9( 12): 370.[citado 2024 abr. 19 ] Available from: https://doi.org/10.3390/machines9120370
    • Vancouver

      Orellana MA, Silva JR, Pellini EL. A model-based and goal-oriented approch for the conceptual design of smart grid services [Internet]. Machines. 2021 ;9( 12): 370.[citado 2024 abr. 19 ] Available from: https://doi.org/10.3390/machines9120370
  • Fonte: Computers & Industrial Engineering. Unidade: EP

    Assuntos: INDÚSTRIA 4.0, TECNOLOGIA DA INFORMAÇÃO, INTERNET DAS COISAS

    PrivadoAcesso à fonteDOIComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      NAKAYAMA, Ruy Somei e SPÍNOLA, Mauro e SILVA, José Reinaldo. Towards I4.0: a comprehensive analysis of evolution from I3.0. Computers & Industrial Engineering, v. 144, p. Article 106453 com 13 on-line, 2020Tradução . . Disponível em: https://doi.org/10.1016/j.cie.2020.106453. Acesso em: 19 abr. 2024.
    • APA

      Nakayama, R. S., Spínola, M., & Silva, J. R. (2020). Towards I4.0: a comprehensive analysis of evolution from I3.0. Computers & Industrial Engineering, 144, Article 106453 com 13 on-line. doi:10.1016/j.cie.2020.106453
    • NLM

      Nakayama RS, Spínola M, Silva JR. Towards I4.0: a comprehensive analysis of evolution from I3.0 [Internet]. Computers & Industrial Engineering. 2020 ; 144 Article 106453 com 13 on-line.[citado 2024 abr. 19 ] Available from: https://doi.org/10.1016/j.cie.2020.106453
    • Vancouver

      Nakayama RS, Spínola M, Silva JR. Towards I4.0: a comprehensive analysis of evolution from I3.0 [Internet]. Computers & Industrial Engineering. 2020 ; 144 Article 106453 com 13 on-line.[citado 2024 abr. 19 ] Available from: https://doi.org/10.1016/j.cie.2020.106453
  • Unidades: FFCLRP, EP, EESC, IFSC, IQSC

    Assuntos: MATEMÁTICA APLICADA, NEUROCIÊNCIAS, FÍSICA COMPUTACIONAL

    PrivadoAcesso à fonteComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      Conferência Brasileira de Dinâmica, Controle e Aplicações - DINCON 2019. . São Carlos: Universidade de São Paulo - USP. Disponível em: http://143.107.182.36/dincon2019/index.php/comite-cientifico/. Acesso em: 19 abr. 2024. , 2019
    • APA

      Conferência Brasileira de Dinâmica, Controle e Aplicações - DINCON 2019. (2019). Conferência Brasileira de Dinâmica, Controle e Aplicações - DINCON 2019. São Carlos: Universidade de São Paulo - USP. Recuperado de http://143.107.182.36/dincon2019/index.php/comite-cientifico/
    • NLM

      Conferência Brasileira de Dinâmica, Controle e Aplicações - DINCON 2019 [Internet]. 2019 ;[citado 2024 abr. 19 ] Available from: http://143.107.182.36/dincon2019/index.php/comite-cientifico/
    • Vancouver

      Conferência Brasileira de Dinâmica, Controle e Aplicações - DINCON 2019 [Internet]. 2019 ;[citado 2024 abr. 19 ] Available from: http://143.107.182.36/dincon2019/index.php/comite-cientifico/
  • Fonte: Energies. Unidade: EP

    Assuntos: REDES ELÉTRICAS INTELIGENTES, REDES DE DISTRIBUIÇÃO DE ENERGIA ELÉTRICA, SISTEMAS DISTRIBUÍDOS, EFICIÊNCIA ENERGÉTICA

    PrivadoAcesso à fonteAcesso à fonteDOIComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      GOMES, Raimundo Cláudio Souza et al. SmartLVGrid platform—convergence of legacy low-voltage circuits toward the smart grid paradigm. Energies, v. 12, n. 13, p. 1-23, 2019Tradução . . Disponível em: https://doi.org/10.3390/en12132590. Acesso em: 19 abr. 2024.
    • APA

      Gomes, R. C. S., Costa Junior, C., Silva, J. R., & Sicchar, J. R. (2019). SmartLVGrid platform—convergence of legacy low-voltage circuits toward the smart grid paradigm. Energies, 12( 13), 1-23. doi:10.3390/en12132590
    • NLM

      Gomes RCS, Costa Junior C, Silva JR, Sicchar JR. SmartLVGrid platform—convergence of legacy low-voltage circuits toward the smart grid paradigm [Internet]. Energies. 2019 ; 12( 13): 1-23.[citado 2024 abr. 19 ] Available from: https://doi.org/10.3390/en12132590
    • Vancouver

      Gomes RCS, Costa Junior C, Silva JR, Sicchar JR. SmartLVGrid platform—convergence of legacy low-voltage circuits toward the smart grid paradigm [Internet]. Energies. 2019 ; 12( 13): 1-23.[citado 2024 abr. 19 ] Available from: https://doi.org/10.3390/en12132590
  • Fonte: Polytechnica. Unidade: EP

    Assunto: ENGENHARIA

    PrivadoAcesso à fonteDOIComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      SILVA, José Reinaldo et al. The Era of Engineering Grand Challenges. Polytechnica, 2018Tradução . . Disponível em: https://doi.org/10.1007/s41050-018-0001-5. Acesso em: 19 abr. 2024.
    • APA

      Silva, J. R., Justo Filho, J. F., John, V. M., & Silva, E. C. N. (2018). The Era of Engineering Grand Challenges. Polytechnica. doi:10.1007/s41050-018-0001-5
    • NLM

      Silva JR, Justo Filho JF, John VM, Silva ECN. The Era of Engineering Grand Challenges [Internet]. Polytechnica. 2018 ;[citado 2024 abr. 19 ] Available from: https://doi.org/10.1007/s41050-018-0001-5
    • Vancouver

      Silva JR, Justo Filho JF, John VM, Silva ECN. The Era of Engineering Grand Challenges [Internet]. Polytechnica. 2018 ;[citado 2024 abr. 19 ] Available from: https://doi.org/10.1007/s41050-018-0001-5
  • Fonte: Resumos. Nome do evento: Simpósio Internacional de Iniciação Científica e Tecnológica da USP/SIICUSP. Unidades: EP, IQ

    Assuntos: FLUORETO, ANÁLISE DA ÁGUA

    Acesso à fonteComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      VITORINO, Mauricio e SILVA, José Reinaldo e PAIXÃO, Thiago Regis Longo Cesar da. Desenvolvimento de dispositivo analítico em papel visando à detecção fluoreto em águas. 2018, Anais.. São Paulo: USP/Pró-Reitoria de Pesquisa, 2018. Disponível em: https://uspdigital.usp.br/siicusp/siicPublicacao.jsp?codmnu=7210. Acesso em: 19 abr. 2024.
    • APA

      Vitorino, M., Silva, J. R., & Paixão, T. R. L. C. da. (2018). Desenvolvimento de dispositivo analítico em papel visando à detecção fluoreto em águas. In Resumos. São Paulo: USP/Pró-Reitoria de Pesquisa. Recuperado de https://uspdigital.usp.br/siicusp/siicPublicacao.jsp?codmnu=7210
    • NLM

      Vitorino M, Silva JR, Paixão TRLC da. Desenvolvimento de dispositivo analítico em papel visando à detecção fluoreto em águas [Internet]. Resumos. 2018 ;[citado 2024 abr. 19 ] Available from: https://uspdigital.usp.br/siicusp/siicPublicacao.jsp?codmnu=7210
    • Vancouver

      Vitorino M, Silva JR, Paixão TRLC da. Desenvolvimento de dispositivo analítico em papel visando à detecção fluoreto em águas [Internet]. Resumos. 2018 ;[citado 2024 abr. 19 ] Available from: https://uspdigital.usp.br/siicusp/siicPublicacao.jsp?codmnu=7210
  • Unidade: EP

    Assuntos: ANÁLISE DE REQUISITOS, REDES DE PETRI, UML

    Acesso à fonteComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      SALMON, Arianna Zoila Olivera. Modelagem e análise de requisitos de sistemas automatizados usando UML e Redes de Petri. 2017. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2017. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-11072017-143010/. Acesso em: 19 abr. 2024.
    • APA

      Salmon, A. Z. O. (2017). Modelagem e análise de requisitos de sistemas automatizados usando UML e Redes de Petri (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3152/tde-11072017-143010/
    • NLM

      Salmon AZO. Modelagem e análise de requisitos de sistemas automatizados usando UML e Redes de Petri [Internet]. 2017 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-11072017-143010/
    • Vancouver

      Salmon AZO. Modelagem e análise de requisitos de sistemas automatizados usando UML e Redes de Petri [Internet]. 2017 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-11072017-143010/
  • Unidade: EP

    Assuntos: ENGENHARIA DE REQUISITOS, REDES DE PETRI

    Acesso à fonteComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      MARTINEZ SILVA, Javier. Modelagem e análise de conhecimento para planejamento automático: uma abordagem baseada em GORE e redes de Petri. 2016. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2016. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-16032017-101727/. Acesso em: 19 abr. 2024.
    • APA

      Martinez Silva, J. (2016). Modelagem e análise de conhecimento para planejamento automático: uma abordagem baseada em GORE e redes de Petri (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3152/tde-16032017-101727/
    • NLM

      Martinez Silva J. Modelagem e análise de conhecimento para planejamento automático: uma abordagem baseada em GORE e redes de Petri [Internet]. 2016 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-16032017-101727/
    • Vancouver

      Martinez Silva J. Modelagem e análise de conhecimento para planejamento automático: uma abordagem baseada em GORE e redes de Petri [Internet]. 2016 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-16032017-101727/
  • Unidade: EP

    Assuntos: ENGENHARIA DE REQUISITOS, SERVIÇOS

    Acesso à fonteComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      DUTRA, Diogo de Souza. An intention-based service design discipline for the product-service architecture. 2016. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2016. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-16032017-105320/. Acesso em: 19 abr. 2024.
    • APA

      Dutra, D. de S. (2016). An intention-based service design discipline for the product-service architecture (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3152/tde-16032017-105320/
    • NLM

      Dutra D de S. An intention-based service design discipline for the product-service architecture [Internet]. 2016 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-16032017-105320/
    • Vancouver

      Dutra D de S. An intention-based service design discipline for the product-service architecture [Internet]. 2016 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-16032017-105320/
  • Unidade: EP

    Assuntos: REDES DE PETRI, WEB SEMÂNTICA, ONTOLOGIA

    Acesso à fonteComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      BAUMGARTNER NETO, August. Extração de casos de teste utilizando redes de Petri hierárquicas e validação de resultados utilizando OWL. 2015. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2015. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-22062016-075239/. Acesso em: 19 abr. 2024.
    • APA

      Baumgartner Neto, A. (2015). Extração de casos de teste utilizando redes de Petri hierárquicas e validação de resultados utilizando OWL (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3152/tde-22062016-075239/
    • NLM

      Baumgartner Neto A. Extração de casos de teste utilizando redes de Petri hierárquicas e validação de resultados utilizando OWL [Internet]. 2015 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-22062016-075239/
    • Vancouver

      Baumgartner Neto A. Extração de casos de teste utilizando redes de Petri hierárquicas e validação de resultados utilizando OWL [Internet]. 2015 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-22062016-075239/
  • Unidade: EP

    Assuntos: INTELIGÊNCIA ARTIFICIAL (PLANEJAMENTO;AUTOMAÇÃO), GESTÃO DE PROJETOS, ANÁLISE DE REQUISITOS, REDES DE PETRI

    Acesso à fonteComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      TONACO-BASBAUM, Rosimarci Pacheco. Modelagem hierárquica e análise de requisitos de problemas reais em planejamento automático. 2015. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2015. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-22072016-091845/. Acesso em: 19 abr. 2024.
    • APA

      Tonaco-Basbaum, R. P. (2015). Modelagem hierárquica e análise de requisitos de problemas reais em planejamento automático (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3152/tde-22072016-091845/
    • NLM

      Tonaco-Basbaum RP. Modelagem hierárquica e análise de requisitos de problemas reais em planejamento automático [Internet]. 2015 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-22072016-091845/
    • Vancouver

      Tonaco-Basbaum RP. Modelagem hierárquica e análise de requisitos de problemas reais em planejamento automático [Internet]. 2015 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-22072016-091845/
  • Fonte: Preprints. Nome do evento: World Congress of the International Federation of Automatic Control. Unidade: EP

    Assuntos: MANUFATURA, PROCESSOS DE FABRICAÇÃO (ENGENHARIA MECÂNICA), CADEIA DE SUPRIMENTOS

    PrivadoAcesso à fonteComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      SILVA, José Reinaldo. New trends in manufacturing: converging to service and intelligent systems. 2014, Anais.. Cape Town: Ifac, 2014. Disponível em: http://www.nt.ntnu.no/users/skoge/prost/proceedings/ifac2014/media/files/2823.pdf. Acesso em: 19 abr. 2024.
    • APA

      Silva, J. R. (2014). New trends in manufacturing: converging to service and intelligent systems. In Preprints. Cape Town: Ifac. Recuperado de http://www.nt.ntnu.no/users/skoge/prost/proceedings/ifac2014/media/files/2823.pdf
    • NLM

      Silva JR. New trends in manufacturing: converging to service and intelligent systems [Internet]. Preprints. 2014 ;[citado 2024 abr. 19 ] Available from: http://www.nt.ntnu.no/users/skoge/prost/proceedings/ifac2014/media/files/2823.pdf
    • Vancouver

      Silva JR. New trends in manufacturing: converging to service and intelligent systems [Internet]. Preprints. 2014 ;[citado 2024 abr. 19 ] Available from: http://www.nt.ntnu.no/users/skoge/prost/proceedings/ifac2014/media/files/2823.pdf
  • Unidade: EP

    Assunto: ROBÓTICA

    PrivadoComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      MATARIC, Maja J. Introdução à robótica. . São Paulo: Ed Unesp. Disponível em: https://repositorio.usp.br/directbitstream/9caceffb-fe26-4451-a42a-a37817ae87a5/Silva_JR-2014-introducao%20a%20robotica-pagina%20de%20rosto%20de%20livro.pdf. Acesso em: 19 abr. 2024. , 2014
    • APA

      Mataric, M. J. (2014). Introdução à robótica. São Paulo: Ed Unesp. Recuperado de https://repositorio.usp.br/directbitstream/9caceffb-fe26-4451-a42a-a37817ae87a5/Silva_JR-2014-introducao%20a%20robotica-pagina%20de%20rosto%20de%20livro.pdf
    • NLM

      Mataric MJ. Introdução à robótica [Internet]. 2014 ;[citado 2024 abr. 19 ] Available from: https://repositorio.usp.br/directbitstream/9caceffb-fe26-4451-a42a-a37817ae87a5/Silva_JR-2014-introducao%20a%20robotica-pagina%20de%20rosto%20de%20livro.pdf
    • Vancouver

      Mataric MJ. Introdução à robótica [Internet]. 2014 ;[citado 2024 abr. 19 ] Available from: https://repositorio.usp.br/directbitstream/9caceffb-fe26-4451-a42a-a37817ae87a5/Silva_JR-2014-introducao%20a%20robotica-pagina%20de%20rosto%20de%20livro.pdf
  • Fonte: Anais. Nome do evento: Congresso Brasileiro de Automática - CBA. Unidade: EP

    Assuntos: REDES DE PETRI, ANÁLISE DE REQUISITOS, ALGORITMOS

    PrivadoAcesso à fonteComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      SALMON, Arianna Zoila Oliveira e DEL FOYO, Pedro Manuel Gonzalez e SILVA, José Reinaldo. Verification of automated systems using invariants. 2014, Anais.. [Belo Horizonte: Sba/IFAC], 2014. Disponível em: http://www.swge.inf.br/CBA2014/anais/PDF/1569935123.pdf. Acesso em: 19 abr. 2024.
    • APA

      Salmon, A. Z. O., Del Foyo, P. M. G., & Silva, J. R. (2014). Verification of automated systems using invariants. In Anais. [Belo Horizonte: Sba/IFAC]. Recuperado de http://www.swge.inf.br/CBA2014/anais/PDF/1569935123.pdf
    • NLM

      Salmon AZO, Del Foyo PMG, Silva JR. Verification of automated systems using invariants [Internet]. Anais. 2014 ;[citado 2024 abr. 19 ] Available from: http://www.swge.inf.br/CBA2014/anais/PDF/1569935123.pdf
    • Vancouver

      Salmon AZO, Del Foyo PMG, Silva JR. Verification of automated systems using invariants [Internet]. Anais. 2014 ;[citado 2024 abr. 19 ] Available from: http://www.swge.inf.br/CBA2014/anais/PDF/1569935123.pdf
  • Nome do evento: International Conference on Industrial Informatics - INDIN. Unidade: EP

    Assuntos: TEMPO-REAL, INTELIGÊNCIA ARTIFICIAL, REDES DE PETRI

    PrivadoComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      OLIVERA SALMON, Arianna Zoila e GONZÁLEZ DEL FOYO, Pedro Manuel e SILVA, José Reinaldo. Scheduling real-time systems with periodic tasks using a model-checking approach. 2014, Anais.. Piscataway: IEEE, 2014. Disponível em: https://repositorio.usp.br/directbitstream/47ecedbf-8f18-4720-91ab-a05c900db618/SilvaJ-2014-Scheduling%20real-time%20systems%20with%20periodic%20tasks%20using%20a%20model-checking%20approach%20ok.pdf. Acesso em: 19 abr. 2024.
    • APA

      Olivera Salmon, A. Z., González Del Foyo, P. M., & Silva, J. R. (2014). Scheduling real-time systems with periodic tasks using a model-checking approach. In . Piscataway: IEEE. Recuperado de https://repositorio.usp.br/directbitstream/47ecedbf-8f18-4720-91ab-a05c900db618/SilvaJ-2014-Scheduling%20real-time%20systems%20with%20periodic%20tasks%20using%20a%20model-checking%20approach%20ok.pdf
    • NLM

      Olivera Salmon AZ, González Del Foyo PM, Silva JR. Scheduling real-time systems with periodic tasks using a model-checking approach [Internet]. 2014 ;[citado 2024 abr. 19 ] Available from: https://repositorio.usp.br/directbitstream/47ecedbf-8f18-4720-91ab-a05c900db618/SilvaJ-2014-Scheduling%20real-time%20systems%20with%20periodic%20tasks%20using%20a%20model-checking%20approach%20ok.pdf
    • Vancouver

      Olivera Salmon AZ, González Del Foyo PM, Silva JR. Scheduling real-time systems with periodic tasks using a model-checking approach [Internet]. 2014 ;[citado 2024 abr. 19 ] Available from: https://repositorio.usp.br/directbitstream/47ecedbf-8f18-4720-91ab-a05c900db618/SilvaJ-2014-Scheduling%20real-time%20systems%20with%20periodic%20tasks%20using%20a%20model-checking%20approach%20ok.pdf
  • Fonte: Jornal da USP. Unidades: EP, FAU

    Assuntos: GOVERNANÇA CORPORATIVA, ADMINISTRAÇÃO, UNIVERSIDADE PÚBLICA

    PrivadoAcesso à fonteComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      MOSCATO, Lucas Antonio et al. Os fóruns de maio: com a presença de professores, funcionários e alunos, tem início o processo de discussão sobre estrutura de poder e governança da Universidade. [Depoimento]. Jornal da USP. São Paulo: Escola Politécnica, Universidade de São Paulo. Disponível em: http://espaber.uspnet.usp.br/jorusp/?p=36652. Acesso em: 19 abr. 2024. , 2014
    • APA

      Moscato, L. A., Lanna, A. L. D., Abiko, A. K., Silva, J. R., Piqueira, J. R. C., & Martins, C. A. (2014). Os fóruns de maio: com a presença de professores, funcionários e alunos, tem início o processo de discussão sobre estrutura de poder e governança da Universidade. [Depoimento]. Jornal da USP. São Paulo: Escola Politécnica, Universidade de São Paulo. Recuperado de http://espaber.uspnet.usp.br/jorusp/?p=36652
    • NLM

      Moscato LA, Lanna ALD, Abiko AK, Silva JR, Piqueira JRC, Martins CA. Os fóruns de maio: com a presença de professores, funcionários e alunos, tem início o processo de discussão sobre estrutura de poder e governança da Universidade. [Depoimento] [Internet]. Jornal da USP. 2014 ;de 26 de maio a 1 de junho 2014. 3.[citado 2024 abr. 19 ] Available from: http://espaber.uspnet.usp.br/jorusp/?p=36652
    • Vancouver

      Moscato LA, Lanna ALD, Abiko AK, Silva JR, Piqueira JRC, Martins CA. Os fóruns de maio: com a presença de professores, funcionários e alunos, tem início o processo de discussão sobre estrutura de poder e governança da Universidade. [Depoimento] [Internet]. Jornal da USP. 2014 ;de 26 de maio a 1 de junho 2014. 3.[citado 2024 abr. 19 ] Available from: http://espaber.uspnet.usp.br/jorusp/?p=36652
  • Unidade: EP

    Assuntos: SERVIÇOS (SISTEMAS;AUTOMAÇÃO), SISTEMAS DE INFORMAÇÃO, ENGENHARIA (MODELAGEM;DESIGN), ENGENHARIA DE REQUISITOS

    Acesso à fonteComo citar
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      OLIVEIRA, Valter Castelhano de. Modelagem e design de sistemas de serviço para automação. 2013. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2013. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-10072014-014050/. Acesso em: 19 abr. 2024.
    • APA

      Oliveira, V. C. de. (2013). Modelagem e design de sistemas de serviço para automação (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3152/tde-10072014-014050/
    • NLM

      Oliveira VC de. Modelagem e design de sistemas de serviço para automação [Internet]. 2013 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-10072014-014050/
    • Vancouver

      Oliveira VC de. Modelagem e design de sistemas de serviço para automação [Internet]. 2013 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-10072014-014050/

Biblioteca Digital de Produção Intelectual da Universidade de São Paulo     2012 - 2024