Filtros : "Silva, José Reinaldo" Limpar

Filtros



Refine with date range


  • Unidade: EP

    Subjects: PRODUÇÃO EM MASSA, REDES DE PETRI

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

      TAVARES, José Jean-Paul Zanlucchi de Souza. Fundamentos da realimentação das informações pela manufatura informada. 2006. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2006. Disponível em: https://www.teses.usp.br/teses/disponiveis/3/3132/tde-23072024-084632/pt-br.php. Acesso em: 19 set. 2024.
    • APA

      Tavares, J. J. -P. Z. de S. (2006). Fundamentos da realimentação das informações pela manufatura informada (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/3/3132/tde-23072024-084632/pt-br.php
    • NLM

      Tavares JJ-PZ de S. Fundamentos da realimentação das informações pela manufatura informada [Internet]. 2006 ;[citado 2024 set. 19 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3132/tde-23072024-084632/pt-br.php
    • Vancouver

      Tavares JJ-PZ de S. Fundamentos da realimentação das informações pela manufatura informada [Internet]. 2006 ;[citado 2024 set. 19 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3132/tde-23072024-084632/pt-br.php
  • Source: CBIS 2006: anais. Conference titles: Congresso Brasileiro de Informática em Saúde. Unidade: EP

    Subjects: SAÚDE (SISTEMAS COMPUTACIONAIS), SISTEMAS EMBUTIDOS

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

      KONDO, Márcia Narumi Shiraishi et al. Estudo de requisitos do software embarcado no segmento da telemedicina. 2006, Anais.. São Paulo: SIBIS, 2006. Disponível em: https://repositorio.usp.br/directbitstream/050edf41-6da3-4b63-b771-e148fa6abdbd/Silva_JR-2006-Estudo%20de%20requisitos%20do%20software%20embarcado.pdf. Acesso em: 19 set. 2024.
    • APA

      Kondo, M. N. S., Silva, J. R., Hira, A. Y., & Zuffo, M. K. (2006). Estudo de requisitos do software embarcado no segmento da telemedicina. In CBIS 2006: anais. São Paulo: SIBIS. Recuperado de https://repositorio.usp.br/directbitstream/050edf41-6da3-4b63-b771-e148fa6abdbd/Silva_JR-2006-Estudo%20de%20requisitos%20do%20software%20embarcado.pdf
    • NLM

      Kondo MNS, Silva JR, Hira AY, Zuffo MK. Estudo de requisitos do software embarcado no segmento da telemedicina [Internet]. CBIS 2006: anais. 2006 ;[citado 2024 set. 19 ] Available from: https://repositorio.usp.br/directbitstream/050edf41-6da3-4b63-b771-e148fa6abdbd/Silva_JR-2006-Estudo%20de%20requisitos%20do%20software%20embarcado.pdf
    • Vancouver

      Kondo MNS, Silva JR, Hira AY, Zuffo MK. Estudo de requisitos do software embarcado no segmento da telemedicina [Internet]. CBIS 2006: anais. 2006 ;[citado 2024 set. 19 ] Available from: https://repositorio.usp.br/directbitstream/050edf41-6da3-4b63-b771-e148fa6abdbd/Silva_JR-2006-Estudo%20de%20requisitos%20do%20software%20embarcado.pdf
  • Unidade: EP

    Subjects: PRODUÇÃO EM MASSA, REDES DE PETRI

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

      TAVARES, José Jean-Paul Zanlucchi de Souza. Realimentação da informação na manufatura informada. . São Paulo: EPUSP. Disponível em: https://repositorio.usp.br/directbitstream/115b78d1-478f-40bc-945d-3b18f2dd6309/Silva_JR-2006-realimentacao%20da%20informacao-BT-PMR-0611.pdf. Acesso em: 19 set. 2024. , 2006
    • APA

      Tavares, J. J. -P. Z. de S. (2006). Realimentação da informação na manufatura informada. São Paulo: EPUSP. Recuperado de https://repositorio.usp.br/directbitstream/115b78d1-478f-40bc-945d-3b18f2dd6309/Silva_JR-2006-realimentacao%20da%20informacao-BT-PMR-0611.pdf
    • NLM

      Tavares JJ-PZ de S. Realimentação da informação na manufatura informada [Internet]. 2006 ;[citado 2024 set. 19 ] Available from: https://repositorio.usp.br/directbitstream/115b78d1-478f-40bc-945d-3b18f2dd6309/Silva_JR-2006-realimentacao%20da%20informacao-BT-PMR-0611.pdf
    • Vancouver

      Tavares JJ-PZ de S. Realimentação da informação na manufatura informada [Internet]. 2006 ;[citado 2024 set. 19 ] Available from: https://repositorio.usp.br/directbitstream/115b78d1-478f-40bc-945d-3b18f2dd6309/Silva_JR-2006-realimentacao%20da%20informacao-BT-PMR-0611.pdf
  • Source: Proceedings. Conference titles: International Joint Conference IBERAMIA/SBIA/SBRN. Unidade: EP

    Assunto: INTELIGÊNCIA ARTIFICIAL

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

      TONIDANDEL, Flavio e VAQUERO, Tiago Stegun e SILVA, José Reinaldo. Reading PDDL, writing an object-oriented model. 2006, Anais.. Ribeirão Preto: SBC, 2006. Disponível em: https://doi.org/10.1007/11874850_57. Acesso em: 19 set. 2024.
    • APA

      Tonidandel, F., Vaquero, T. S., & Silva, J. R. (2006). Reading PDDL, writing an object-oriented model. In Proceedings. Ribeirão Preto: SBC. doi:10.1007/11874850_57
    • NLM

      Tonidandel F, Vaquero TS, Silva JR. Reading PDDL, writing an object-oriented model [Internet]. Proceedings. 2006 ;[citado 2024 set. 19 ] Available from: https://doi.org/10.1007/11874850_57
    • Vancouver

      Tonidandel F, Vaquero TS, Silva JR. Reading PDDL, writing an object-oriented model [Internet]. Proceedings. 2006 ;[citado 2024 set. 19 ] Available from: https://doi.org/10.1007/11874850_57
  • Source: Proceedings. Conference titles: International Conference on International Conference on Automated Planning and Scheduling - ICAPS. Unidades: IME, EP

    Subjects: LINGUAGEM DE PROGRAMAÇÃO, REPRESENTAÇÃO DE CONHECIMENTO, MODELOS MATEMÁTICOS, SOLUÇÃO DE PROBLEMAS

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

      VAQUERO, Tiago Stegun et al. On the use of UML.P for modeling a real application as a planning problem. 2006, Anais.. Palo Alto: AAAI Press, 2006. Disponível em: https://www.aaai.org/Papers/ICAPS/2006/ICAPS06-059.pdf. Acesso em: 19 set. 2024.
    • APA

      Vaquero, T. S., Tonidandel, F., Barros, L. N. de, & Silva, J. R. (2006). On the use of UML.P for modeling a real application as a planning problem. In Proceedings. Palo Alto: AAAI Press. Recuperado de https://www.aaai.org/Papers/ICAPS/2006/ICAPS06-059.pdf
    • NLM

      Vaquero TS, Tonidandel F, Barros LN de, Silva JR. On the use of UML.P for modeling a real application as a planning problem [Internet]. Proceedings. 2006 ;[citado 2024 set. 19 ] Available from: https://www.aaai.org/Papers/ICAPS/2006/ICAPS06-059.pdf
    • Vancouver

      Vaquero TS, Tonidandel F, Barros LN de, Silva JR. On the use of UML.P for modeling a real application as a planning problem [Internet]. Proceedings. 2006 ;[citado 2024 set. 19 ] Available from: https://www.aaai.org/Papers/ICAPS/2006/ICAPS06-059.pdf
  • Source: COBEM 2005 : proceedings. Conference titles: International Congress of Mechanical Engineering. Unidade: EP

    Subjects: MANUFATURA (AUTOMAÇÃO), SISTEMAS DE PRODUÇÃO, REDES DE PETRI

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

      SANTOS, Marcio dos e TAVARES, José Jean-Paul Zanlucchi de Souza e SILVA, José Reinaldo. Management and collecting data in the informed manufacturing. 2005, Anais.. Rio de Janeiro: ABCM, 2005. Disponível em: https://repositorio.usp.br/directbitstream/007052ea-56f8-4efe-8c84-55244218d9ae/SilvaJ-2005-Management%20and%20collecting%20data%20in%20the%20informed%20ok.pdf. Acesso em: 19 set. 2024.
    • APA

      Santos, M. dos, Tavares, J. J. -P. Z. de S., & Silva, J. R. (2005). Management and collecting data in the informed manufacturing. In COBEM 2005 : proceedings. Rio de Janeiro: ABCM. Recuperado de https://repositorio.usp.br/directbitstream/007052ea-56f8-4efe-8c84-55244218d9ae/SilvaJ-2005-Management%20and%20collecting%20data%20in%20the%20informed%20ok.pdf
    • NLM

      Santos M dos, Tavares JJ-PZ de S, Silva JR. Management and collecting data in the informed manufacturing [Internet]. COBEM 2005 : proceedings. 2005 ;[citado 2024 set. 19 ] Available from: https://repositorio.usp.br/directbitstream/007052ea-56f8-4efe-8c84-55244218d9ae/SilvaJ-2005-Management%20and%20collecting%20data%20in%20the%20informed%20ok.pdf
    • Vancouver

      Santos M dos, Tavares JJ-PZ de S, Silva JR. Management and collecting data in the informed manufacturing [Internet]. COBEM 2005 : proceedings. 2005 ;[citado 2024 set. 19 ] Available from: https://repositorio.usp.br/directbitstream/007052ea-56f8-4efe-8c84-55244218d9ae/SilvaJ-2005-Management%20and%20collecting%20data%20in%20the%20informed%20ok.pdf
  • Unidade: EP

    Subjects: VÍDEO, MULTIMÍDIA, BANCO DE DADOS, RECUPERAÇÃO DA INFORMAÇÃO

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

      REINALDO, Rodrigo de Deus. Proposta de um modelo de dados para bancos multimídia através da atribuição de semântica a eventos. 2005. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2005. Disponível em: https://www.teses.usp.br/teses/disponiveis/3/3152/tde-16082023-073928/. Acesso em: 19 set. 2024.
    • APA

      Reinaldo, R. de D. (2005). Proposta de um modelo de dados para bancos multimídia através da atribuição de semântica a eventos (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/3/3152/tde-16082023-073928/
    • NLM

      Reinaldo R de D. Proposta de um modelo de dados para bancos multimídia através da atribuição de semântica a eventos [Internet]. 2005 ;[citado 2024 set. 19 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3152/tde-16082023-073928/
    • Vancouver

      Reinaldo R de D. Proposta de um modelo de dados para bancos multimídia através da atribuição de semântica a eventos [Internet]. 2005 ;[citado 2024 set. 19 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3152/tde-16082023-073928/
  • Source: 13 SIICUSP 2005: resumos. Conference titles: Simpósio Internacional de Iniciação Científica da Universidade de São Paulo. Unidade: EP

    Subjects: INTELIGÊNCIA ARTIFICIAL (PLANEJAMENTO), ELEVADORES (CONTROLE)

    Versão PublicadaAcesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      LUCATO, Carlos Eduardo Fonseca e SILVA, José Reinaldo. Planejamento, IA e inteligencia de maquinas. 2005, Anais.. São Paulo: Universidade de São Paulo, 2005. Disponível em: http://www.usp.br/siicusp/13osiicusp/aprovados/index01.htm. Acesso em: 19 set. 2024.
    • APA

      Lucato, C. E. F., & Silva, J. R. (2005). Planejamento, IA e inteligencia de maquinas. In 13 SIICUSP 2005: resumos. São Paulo: Universidade de São Paulo. Recuperado de http://www.usp.br/siicusp/13osiicusp/aprovados/index01.htm
    • NLM

      Lucato CEF, Silva JR. Planejamento, IA e inteligencia de maquinas [Internet]. 13 SIICUSP 2005: resumos. 2005 ;[citado 2024 set. 19 ] Available from: http://www.usp.br/siicusp/13osiicusp/aprovados/index01.htm
    • Vancouver

      Lucato CEF, Silva JR. Planejamento, IA e inteligencia de maquinas [Internet]. 13 SIICUSP 2005: resumos. 2005 ;[citado 2024 set. 19 ] Available from: http://www.usp.br/siicusp/13osiicusp/aprovados/index01.htm
  • Unidade: EP

    Subjects: REDES DE PETRI, SISTEMAS DE PRODUÇÃO, QUALIDADE DA PRODUÇÃO

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

      SANTOS, Marcio dos. Geração de conhecimento explícito na manufatura informada. 2005. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2005. Disponível em: https://www.teses.usp.br/teses/disponiveis/3/3152/tde-13092023-104130/. Acesso em: 19 set. 2024.
    • APA

      Santos, M. dos. (2005). Geração de conhecimento explícito na manufatura informada (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/3/3152/tde-13092023-104130/
    • NLM

      Santos M dos. Geração de conhecimento explícito na manufatura informada [Internet]. 2005 ;[citado 2024 set. 19 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3152/tde-13092023-104130/
    • Vancouver

      Santos M dos. Geração de conhecimento explícito na manufatura informada [Internet]. 2005 ;[citado 2024 set. 19 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3152/tde-13092023-104130/
  • Source: COBEM 2005 : proceedings. Conference titles: International Congress of Mechanical Engineering. Unidade: EP

    Subjects: XML, REDES DE PETRI, SISTEMAS FLEXÍVEIS DE MANUFATURA, AUTOMAÇÃO INDUSTRIAL, UML

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

      SILVA, José Reinaldo e SANTOS, Eston Almança dos e VAQUERO, Tiago Stegun. Specification and analysis for automated flexible manufacturing. 2005, Anais.. Rio de Janeiro: ABCM, 2005. Disponível em: https://repositorio.usp.br/directbitstream/4f5c5f10-45b4-47a5-a1fd-4adfdc211167/SilvaJ-2005-SPECIFICATION%20AND%20ANALYSIS%20FOR%20AUTOMATED%20FLEXIBLE%20ok.pdf. Acesso em: 19 set. 2024.
    • APA

      Silva, J. R., Santos, E. A. dos, & Vaquero, T. S. (2005). Specification and analysis for automated flexible manufacturing. In COBEM 2005 : proceedings. Rio de Janeiro: ABCM. Recuperado de https://repositorio.usp.br/directbitstream/4f5c5f10-45b4-47a5-a1fd-4adfdc211167/SilvaJ-2005-SPECIFICATION%20AND%20ANALYSIS%20FOR%20AUTOMATED%20FLEXIBLE%20ok.pdf
    • NLM

      Silva JR, Santos EA dos, Vaquero TS. Specification and analysis for automated flexible manufacturing [Internet]. COBEM 2005 : proceedings. 2005 ;[citado 2024 set. 19 ] Available from: https://repositorio.usp.br/directbitstream/4f5c5f10-45b4-47a5-a1fd-4adfdc211167/SilvaJ-2005-SPECIFICATION%20AND%20ANALYSIS%20FOR%20AUTOMATED%20FLEXIBLE%20ok.pdf
    • Vancouver

      Silva JR, Santos EA dos, Vaquero TS. Specification and analysis for automated flexible manufacturing [Internet]. COBEM 2005 : proceedings. 2005 ;[citado 2024 set. 19 ] Available from: https://repositorio.usp.br/directbitstream/4f5c5f10-45b4-47a5-a1fd-4adfdc211167/SilvaJ-2005-SPECIFICATION%20AND%20ANALYSIS%20FOR%20AUTOMATED%20FLEXIBLE%20ok.pdf
  • Source: Mechatronics. Unidade: EP

    Subjects: AUTOMAÇÃO PREDIAL, MODELAGEM DE DADOS, SISTEMAS DISCRETOS

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

      SILVA, José Reinaldo e POLI JÚNIOR, Marco Antonio e ANGEL RESTREPO, Pedro Luis. Towards a modeling discipline for building and residence automation. Mechatronics. Tradução . Rio de Janeiro: ABCM, 2004. . Disponível em: http://www.abcm.org.br/symposiumSeries/SSM_Vol1/Section_IV_Discrete_Event_Dynamic_Systems/SSM_IV_07.pdf. Acesso em: 19 set. 2024.
    • APA

      Silva, J. R., Poli Júnior, M. A., & Angel Restrepo, P. L. (2004). Towards a modeling discipline for building and residence automation. In Mechatronics. Rio de Janeiro: ABCM. Recuperado de http://www.abcm.org.br/symposiumSeries/SSM_Vol1/Section_IV_Discrete_Event_Dynamic_Systems/SSM_IV_07.pdf
    • NLM

      Silva JR, Poli Júnior MA, Angel Restrepo PL. Towards a modeling discipline for building and residence automation [Internet]. In: Mechatronics. Rio de Janeiro: ABCM; 2004. [citado 2024 set. 19 ] Available from: http://www.abcm.org.br/symposiumSeries/SSM_Vol1/Section_IV_Discrete_Event_Dynamic_Systems/SSM_IV_07.pdf
    • Vancouver

      Silva JR, Poli Júnior MA, Angel Restrepo PL. Towards a modeling discipline for building and residence automation [Internet]. In: Mechatronics. Rio de Janeiro: ABCM; 2004. [citado 2024 set. 19 ] Available from: http://www.abcm.org.br/symposiumSeries/SSM_Vol1/Section_IV_Discrete_Event_Dynamic_Systems/SSM_IV_07.pdf
  • Source: Mechatronics. Unidade: EP

    Subjects: PROGRAMAÇÃO ORIENTADA A OBJETOS (MODELAGEM), SISTEMAS DISCRETOS, REDES DE PETRI

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

      GONZÁLEZ DEL FOYO, Pedro Manuel e SILVA, José Reinaldo. Towards a unified view of Petri nets and object oriented modeling. Mechatronics. Tradução . Rio de Janeiro: ABCM, 2004. . Disponível em: http://www.abcm.org.br/symposiumSeries/SSM_Vol1/Section_IV_Discrete_Event_Dynamic_Systems/SSM_IV_02.pdf. Acesso em: 19 set. 2024.
    • APA

      González Del Foyo, P. M., & Silva, J. R. (2004). Towards a unified view of Petri nets and object oriented modeling. In Mechatronics. Rio de Janeiro: ABCM. Recuperado de http://www.abcm.org.br/symposiumSeries/SSM_Vol1/Section_IV_Discrete_Event_Dynamic_Systems/SSM_IV_02.pdf
    • NLM

      González Del Foyo PM, Silva JR. Towards a unified view of Petri nets and object oriented modeling [Internet]. In: Mechatronics. Rio de Janeiro: ABCM; 2004. [citado 2024 set. 19 ] Available from: http://www.abcm.org.br/symposiumSeries/SSM_Vol1/Section_IV_Discrete_Event_Dynamic_Systems/SSM_IV_02.pdf
    • Vancouver

      González Del Foyo PM, Silva JR. Towards a unified view of Petri nets and object oriented modeling [Internet]. In: Mechatronics. Rio de Janeiro: ABCM; 2004. [citado 2024 set. 19 ] Available from: http://www.abcm.org.br/symposiumSeries/SSM_Vol1/Section_IV_Discrete_Event_Dynamic_Systems/SSM_IV_02.pdf
  • Unidade: EP

    Subjects: REDES DE PETRI (CONTROLE;MODELAGEM), SISTEMAS PREDIAIS

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

      ANGEL RESTREPO, Pedro Luis. Modelagem orientada a objetos de sistemas e eventos discretos: estudo de caso na síntese de controle de sistemas prediais. 2004. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2004. Disponível em: https://www.teses.usp.br/teses/disponiveis/3/3132/tde-19032024-095102/pt-br.php. Acesso em: 19 set. 2024.
    • APA

      Angel Restrepo, P. L. (2004). Modelagem orientada a objetos de sistemas e eventos discretos: estudo de caso na síntese de controle de sistemas prediais (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/3/3132/tde-19032024-095102/pt-br.php
    • NLM

      Angel Restrepo PL. Modelagem orientada a objetos de sistemas e eventos discretos: estudo de caso na síntese de controle de sistemas prediais [Internet]. 2004 ;[citado 2024 set. 19 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3132/tde-19032024-095102/pt-br.php
    • Vancouver

      Angel Restrepo PL. Modelagem orientada a objetos de sistemas e eventos discretos: estudo de caso na síntese de controle de sistemas prediais [Internet]. 2004 ;[citado 2024 set. 19 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3132/tde-19032024-095102/pt-br.php
  • Source: INCOM'04. Conference titles: IFAC Symposium on Information Control Problems in Manufacturing. Unidade: EP

    Subjects: REDES DE PETRI, MECATRÔNICA (SISTEMAS)

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

      SILVA, José Reinaldo e SANTOS, Eston Almança dos. Applying petri nets to requirements validation. 2004, Anais.. Salvador: IFAC, 2004. Disponível em: https://repositorio.usp.br/directbitstream/aa77fc0d-608c-407f-92eb-3acff3cd89a0/Silva_JR-2004-Applying%20petri%20nets%20to%20requirements%20validation.%20Area%209.pdf. Acesso em: 19 set. 2024.
    • APA

      Silva, J. R., & Santos, E. A. dos. (2004). Applying petri nets to requirements validation. In INCOM'04. Salvador: IFAC. Recuperado de https://repositorio.usp.br/directbitstream/aa77fc0d-608c-407f-92eb-3acff3cd89a0/Silva_JR-2004-Applying%20petri%20nets%20to%20requirements%20validation.%20Area%209.pdf
    • NLM

      Silva JR, Santos EA dos. Applying petri nets to requirements validation [Internet]. INCOM'04. 2004 ;[citado 2024 set. 19 ] Available from: https://repositorio.usp.br/directbitstream/aa77fc0d-608c-407f-92eb-3acff3cd89a0/Silva_JR-2004-Applying%20petri%20nets%20to%20requirements%20validation.%20Area%209.pdf
    • Vancouver

      Silva JR, Santos EA dos. Applying petri nets to requirements validation [Internet]. INCOM'04. 2004 ;[citado 2024 set. 19 ] Available from: https://repositorio.usp.br/directbitstream/aa77fc0d-608c-407f-92eb-3acff3cd89a0/Silva_JR-2004-Applying%20petri%20nets%20to%20requirements%20validation.%20Area%209.pdf
  • Source: Mechatronics. Unidade: EP

    Subjects: REDES DE PETRI, MECATRÔNICA (SISTEMAS)

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

      SILVA, José Reinaldo e SANTOS, Eston Almança dos. Applying Petri nets to requirements validation. Mechatronics. Tradução . Rio de Janeiro: ABCM, 2004. . Disponível em: http://www.abcm.org.br/symposiumSeries/SSM_Vol1/Section_IV_Discrete_Event_Dynamic_Systems/SSM_IV_01.pdf. Acesso em: 19 set. 2024.
    • APA

      Silva, J. R., & Santos, E. A. dos. (2004). Applying Petri nets to requirements validation. In Mechatronics. Rio de Janeiro: ABCM. Recuperado de http://www.abcm.org.br/symposiumSeries/SSM_Vol1/Section_IV_Discrete_Event_Dynamic_Systems/SSM_IV_01.pdf
    • NLM

      Silva JR, Santos EA dos. Applying Petri nets to requirements validation [Internet]. In: Mechatronics. Rio de Janeiro: ABCM; 2004. [citado 2024 set. 19 ] Available from: http://www.abcm.org.br/symposiumSeries/SSM_Vol1/Section_IV_Discrete_Event_Dynamic_Systems/SSM_IV_01.pdf
    • Vancouver

      Silva JR, Santos EA dos. Applying Petri nets to requirements validation [Internet]. In: Mechatronics. Rio de Janeiro: ABCM; 2004. [citado 2024 set. 19 ] Available from: http://www.abcm.org.br/symposiumSeries/SSM_Vol1/Section_IV_Discrete_Event_Dynamic_Systems/SSM_IV_01.pdf
  • Source: IFAC-PapersOnLine. Unidade: EP

    Subjects: MECATRÔNICA, SISTEMAS DE INFORMAÇÃO, REDES DE PETRI, DINÂMICA

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

      SILVA, José Reinaldo e SANTOS, Eston Almança dos. Applying Petri nets to requirements validation. IFAC-PapersOnLine, v. 37, n. 4, p. 659-666, 2004Tradução . . Disponível em: https://doi.org/10.1016/S1474-6670(17)36190-6. Acesso em: 19 set. 2024.
    • APA

      Silva, J. R., & Santos, E. A. dos. (2004). Applying Petri nets to requirements validation. IFAC-PapersOnLine, 37( 4), 659-666. doi:10.1016/S1474-6670(17)36190-6
    • NLM

      Silva JR, Santos EA dos. Applying Petri nets to requirements validation [Internet]. IFAC-PapersOnLine. 2004 ;37( 4): 659-666.[citado 2024 set. 19 ] Available from: https://doi.org/10.1016/S1474-6670(17)36190-6
    • Vancouver

      Silva JR, Santos EA dos. Applying Petri nets to requirements validation [Internet]. IFAC-PapersOnLine. 2004 ;37( 4): 659-666.[citado 2024 set. 19 ] Available from: https://doi.org/10.1016/S1474-6670(17)36190-6
  • Unidade: EP

    Assunto: REDES DE PETRI

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

      SANTOS, Eston Almança dos e SILVA, José Reinaldo. Especificando requisitos de sistemas com redes de Petri. . São Paulo: EPUSP. Disponível em: https://repositorio.usp.br/directbitstream/d59808e6-72f9-40f4-ba21-2c00fb5ee896/Silva-2003-especificando%20requisitos%20de%20sistemas-BT-PME-2003.pdf. Acesso em: 19 set. 2024. , 2003
    • APA

      Santos, E. A. dos, & Silva, J. R. (2003). Especificando requisitos de sistemas com redes de Petri. São Paulo: EPUSP. Recuperado de https://repositorio.usp.br/directbitstream/d59808e6-72f9-40f4-ba21-2c00fb5ee896/Silva-2003-especificando%20requisitos%20de%20sistemas-BT-PME-2003.pdf
    • NLM

      Santos EA dos, Silva JR. Especificando requisitos de sistemas com redes de Petri [Internet]. 2003 ;[citado 2024 set. 19 ] Available from: https://repositorio.usp.br/directbitstream/d59808e6-72f9-40f4-ba21-2c00fb5ee896/Silva-2003-especificando%20requisitos%20de%20sistemas-BT-PME-2003.pdf
    • Vancouver

      Santos EA dos, Silva JR. Especificando requisitos de sistemas com redes de Petri [Internet]. 2003 ;[citado 2024 set. 19 ] Available from: https://repositorio.usp.br/directbitstream/d59808e6-72f9-40f4-ba21-2c00fb5ee896/Silva-2003-especificando%20requisitos%20de%20sistemas-BT-PME-2003.pdf
  • Source: COBEM 2003: proceedings. Conference titles: International Congress of Mechanical Engineering. Unidade: EP

    Subjects: MECATRÔNICA, REDES DE PETRI

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

      SILVA, José Reinaldo e SANTOS, Eston Almança dos. Applying Petri nets to requirements validation. 2003, Anais.. São Paulo: ABCM, 2003. Disponível em: https://repositorio.usp.br/directbitstream/78787caa-c621-4ac6-917b-2ee5c501d81e/Silva_JR-2003-APPLYING%20PETRI%20NETS%20TO%20REQUIREMENTS%20VALIDATION.pdf. Acesso em: 19 set. 2024.
    • APA

      Silva, J. R., & Santos, E. A. dos. (2003). Applying Petri nets to requirements validation. In COBEM 2003: proceedings. São Paulo: ABCM. Recuperado de https://repositorio.usp.br/directbitstream/78787caa-c621-4ac6-917b-2ee5c501d81e/Silva_JR-2003-APPLYING%20PETRI%20NETS%20TO%20REQUIREMENTS%20VALIDATION.pdf
    • NLM

      Silva JR, Santos EA dos. Applying Petri nets to requirements validation [Internet]. COBEM 2003: proceedings. 2003 ;[citado 2024 set. 19 ] Available from: https://repositorio.usp.br/directbitstream/78787caa-c621-4ac6-917b-2ee5c501d81e/Silva_JR-2003-APPLYING%20PETRI%20NETS%20TO%20REQUIREMENTS%20VALIDATION.pdf
    • Vancouver

      Silva JR, Santos EA dos. Applying Petri nets to requirements validation [Internet]. COBEM 2003: proceedings. 2003 ;[citado 2024 set. 19 ] Available from: https://repositorio.usp.br/directbitstream/78787caa-c621-4ac6-917b-2ee5c501d81e/Silva_JR-2003-APPLYING%20PETRI%20NETS%20TO%20REQUIREMENTS%20VALIDATION.pdf
  • Source: COBEM 2003 : proceedings. Conference titles: International Congress of Mechanical Engineering. Unidade: EP

    Subjects: COMPUTAÇÃO APLICADA, MODELAGEM DE DADOS, REDES DE PETRI, PROGRAMAÇÃO ORIENTADA A OBJETOS

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

      GONZÁLEZ DEL FOYO, Pedro Manuel e SILVA, José Reinaldo. Towards a unified view of petri nets and object oriented modeling. 2003, Anais.. São Paulo: ABCM, 2003. Disponível em: https://repositorio.usp.br/directbitstream/2f19a3c9-547c-45a4-ba81-eb07bc170c7d/Silva-2003-TOWARDS%20A%20UNIFIED%20VIEW%20OF%20%20PETRI%20NETS%20ok.pdf. Acesso em: 19 set. 2024.
    • APA

      González Del Foyo, P. M., & Silva, J. R. (2003). Towards a unified view of petri nets and object oriented modeling. In COBEM 2003 : proceedings. São Paulo: ABCM. Recuperado de https://repositorio.usp.br/directbitstream/2f19a3c9-547c-45a4-ba81-eb07bc170c7d/Silva-2003-TOWARDS%20A%20UNIFIED%20VIEW%20OF%20%20PETRI%20NETS%20ok.pdf
    • NLM

      González Del Foyo PM, Silva JR. Towards a unified view of petri nets and object oriented modeling [Internet]. COBEM 2003 : proceedings. 2003 ;[citado 2024 set. 19 ] Available from: https://repositorio.usp.br/directbitstream/2f19a3c9-547c-45a4-ba81-eb07bc170c7d/Silva-2003-TOWARDS%20A%20UNIFIED%20VIEW%20OF%20%20PETRI%20NETS%20ok.pdf
    • Vancouver

      González Del Foyo PM, Silva JR. Towards a unified view of petri nets and object oriented modeling [Internet]. COBEM 2003 : proceedings. 2003 ;[citado 2024 set. 19 ] Available from: https://repositorio.usp.br/directbitstream/2f19a3c9-547c-45a4-ba81-eb07bc170c7d/Silva-2003-TOWARDS%20A%20UNIFIED%20VIEW%20OF%20%20PETRI%20NETS%20ok.pdf
  • Source: COBEM 2003 : proceedings. Conference titles: International Congress of Mechanical Engineering. Unidade: EP

    Subjects: AUTOMAÇÃO PREDIAL, MODELAGEM DE DADOS, SISTEMAS DISCRETOS

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

      SILVA, José Reinaldo e POLI JÚNIOR, Marco Antonio e ANGEL RESTREPO, Pedro Luis. Towards a modeling discipline for building an residence automation. 2003, Anais.. São Paulo: ABCM, 2003. Disponível em: https://repositorio.usp.br/directbitstream/85c780fc-9137-456f-a17c-01511c88dc46/Silva_JR-2003-TOWARDS%20A%20MODELING%20DISCIPLINE%20FOR%20BUILDING%20AND.pdf. Acesso em: 19 set. 2024.
    • APA

      Silva, J. R., Poli Júnior, M. A., & Angel Restrepo, P. L. (2003). Towards a modeling discipline for building an residence automation. In COBEM 2003 : proceedings. São Paulo: ABCM. Recuperado de https://repositorio.usp.br/directbitstream/85c780fc-9137-456f-a17c-01511c88dc46/Silva_JR-2003-TOWARDS%20A%20MODELING%20DISCIPLINE%20FOR%20BUILDING%20AND.pdf
    • NLM

      Silva JR, Poli Júnior MA, Angel Restrepo PL. Towards a modeling discipline for building an residence automation [Internet]. COBEM 2003 : proceedings. 2003 ;[citado 2024 set. 19 ] Available from: https://repositorio.usp.br/directbitstream/85c780fc-9137-456f-a17c-01511c88dc46/Silva_JR-2003-TOWARDS%20A%20MODELING%20DISCIPLINE%20FOR%20BUILDING%20AND.pdf
    • Vancouver

      Silva JR, Poli Júnior MA, Angel Restrepo PL. Towards a modeling discipline for building an residence automation [Internet]. COBEM 2003 : proceedings. 2003 ;[citado 2024 set. 19 ] Available from: https://repositorio.usp.br/directbitstream/85c780fc-9137-456f-a17c-01511c88dc46/Silva_JR-2003-TOWARDS%20A%20MODELING%20DISCIPLINE%20FOR%20BUILDING%20AND.pdf

Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2024