ReP USP - Resultado da busca

Tese (Doutorado)
Verificação formal de sistemas discretos distribuídos (2009)
González Del Foyo, Pedro Manuel; Silva, José Reinaldo (Orientador)
Unidade: EP
Assuntos: REDES DE PETRI, SISTEMAS DISCRETOS, SISTEMAS DISTRIBUÍDOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GONZÁLEZ DEL FOYO, Pedro Manuel. Verificação formal de sistemas discretos distribuídos. 2009. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2009. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-11082010-164641/. Acesso em: 27 nov. 2025.
APA
González Del Foyo, P. M. (2009). Verificação formal de sistemas discretos distribuídos (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3152/tde-11082010-164641/
NLM
González Del Foyo PM. Verificação formal de sistemas discretos distribuídos [Internet]. 2009 ;[citado 2025 nov. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-11082010-164641/
Vancouver
González Del Foyo PM. Verificação formal de sistemas discretos distribuídos [Internet]. 2009 ;[citado 2025 nov. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-11082010-164641/
Trabalho de evento
Modeling of collision resolution algorithm in lonworks networks (2008)
Igei Kaneshiro, Percy Javier ; Melo, Jose Isidro Garcia ; Miyagi, Paulo Eigi ; Cugnasca, Carlos Eduardo
Fonte: Anais. Nome do evento: Symposium Brazil-Japan 2008 in Economy, Science and Technological Innovation. Unidade: EP
Assuntos: REDES DE PETRI, SISTEMAS DISCRETOS, SISTEMAS DISTRIBUÍDOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
IGEI KANESHIRO, Percy Javier et al. Modeling of collision resolution algorithm in lonworks networks. 2008, Anais.. São Paulo: SBPN, 2008. Disponível em: https://repositorio.usp.br/directbitstream/0494eb52-0635-41b7-b4d6-2e22c34514e6/Miyagi-2008-Modeling%20of%20Collision%20Resolution%20Algorithm%20in%20Lonworks%20Networks%20ok.pdf. Acesso em: 27 nov. 2025.
APA
Igei Kaneshiro, P. J., Melo, J. I. G., Miyagi, P. E., & Cugnasca, C. E. (2008). Modeling of collision resolution algorithm in lonworks networks. In Anais. São Paulo: SBPN. Recuperado de https://repositorio.usp.br/directbitstream/0494eb52-0635-41b7-b4d6-2e22c34514e6/Miyagi-2008-Modeling%20of%20Collision%20Resolution%20Algorithm%20in%20Lonworks%20Networks%20ok.pdf
NLM
Igei Kaneshiro PJ, Melo JIG, Miyagi PE, Cugnasca CE. Modeling of collision resolution algorithm in lonworks networks [Internet]. Anais. 2008 ;[citado 2025 nov. 27 ] Available from: https://repositorio.usp.br/directbitstream/0494eb52-0635-41b7-b4d6-2e22c34514e6/Miyagi-2008-Modeling%20of%20Collision%20Resolution%20Algorithm%20in%20Lonworks%20Networks%20ok.pdf
Vancouver
Igei Kaneshiro PJ, Melo JIG, Miyagi PE, Cugnasca CE. Modeling of collision resolution algorithm in lonworks networks [Internet]. Anais. 2008 ;[citado 2025 nov. 27 ] Available from: https://repositorio.usp.br/directbitstream/0494eb52-0635-41b7-b4d6-2e22c34514e6/Miyagi-2008-Modeling%20of%20Collision%20Resolution%20Algorithm%20in%20Lonworks%20Networks%20ok.pdf
Trabalho de evento-resumo
Modeling of collision resolution algorithm in lonworks networks (2008)
Igei Kaneshiro, Percy Javier ; Melo, Jose Isidro Garcia ; Miyagi, Paulo Eigi ; Cugnasca, Carlos Eduardo
Fonte: Book of Abstracts. Nome do evento: Symposium Brazil-Japan 2008 in Economy, Science and Technological Innovation. Unidade: EP
Assuntos: REDES DE PETRI, SISTEMAS DISCRETOS, SISTEMAS DISTRIBUÍDOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
IGEI KANESHIRO, Percy Javier et al. Modeling of collision resolution algorithm in lonworks networks. 2008, Anais.. São Paulo: SBPN, 2008. Disponível em: https://repositorio.usp.br/directbitstream/06526650-6a35-4647-ad95-50fa60bf320f/Miyagi-2008-modeling%20of%20collision%20resolution%20algorithm-resumo.pdf. Acesso em: 27 nov. 2025.
APA
Igei Kaneshiro, P. J., Melo, J. I. G., Miyagi, P. E., & Cugnasca, C. E. (2008). Modeling of collision resolution algorithm in lonworks networks. In Book of Abstracts. São Paulo: SBPN. Recuperado de https://repositorio.usp.br/directbitstream/06526650-6a35-4647-ad95-50fa60bf320f/Miyagi-2008-modeling%20of%20collision%20resolution%20algorithm-resumo.pdf
NLM
Igei Kaneshiro PJ, Melo JIG, Miyagi PE, Cugnasca CE. Modeling of collision resolution algorithm in lonworks networks [Internet]. Book of Abstracts. 2008 ;[citado 2025 nov. 27 ] Available from: https://repositorio.usp.br/directbitstream/06526650-6a35-4647-ad95-50fa60bf320f/Miyagi-2008-modeling%20of%20collision%20resolution%20algorithm-resumo.pdf
Vancouver
Igei Kaneshiro PJ, Melo JIG, Miyagi PE, Cugnasca CE. Modeling of collision resolution algorithm in lonworks networks [Internet]. Book of Abstracts. 2008 ;[citado 2025 nov. 27 ] Available from: https://repositorio.usp.br/directbitstream/06526650-6a35-4647-ad95-50fa60bf320f/Miyagi-2008-modeling%20of%20collision%20resolution%20algorithm-resumo.pdf
Trabalho de evento
Modeling of lontalk algorithm in control networks (2007)
Igei Kaneshiro, Percy Javier ; Melo, Jose Isidro Garcia ; Miyagi, Paulo Eigi ; Cugnasca, Carlos Eduardo
Fonte: Proceedings of COBEM. Nome do evento: International Congress of Mechanical Engineering. Unidade: EP
Assuntos: WORKSTATIONS, REDES DE PETRI, SISTEMAS DISCRETOS, SISTEMAS DISTRIBUÍDOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
IGEI KANESHIRO, Percy Javier et al. Modeling of lontalk algorithm in control networks. 2007, Anais.. Brasília: ABCM, 2007. Disponível em: https://repositorio.usp.br/directbitstream/2c2b8ba7-b870-458a-b2c6-9743adcc03df/Miyagi-2007-MODELING%20OF%20LONTALK%20ALGORITHM%20-%20Cobem.pdf. Acesso em: 27 nov. 2025.
APA
Igei Kaneshiro, P. J., Melo, J. I. G., Miyagi, P. E., & Cugnasca, C. E. (2007). Modeling of lontalk algorithm in control networks. In Proceedings of COBEM. Brasília: ABCM. Recuperado de https://repositorio.usp.br/directbitstream/2c2b8ba7-b870-458a-b2c6-9743adcc03df/Miyagi-2007-MODELING%20OF%20LONTALK%20ALGORITHM%20-%20Cobem.pdf
NLM
Igei Kaneshiro PJ, Melo JIG, Miyagi PE, Cugnasca CE. Modeling of lontalk algorithm in control networks [Internet]. Proceedings of COBEM. 2007 ;[citado 2025 nov. 27 ] Available from: https://repositorio.usp.br/directbitstream/2c2b8ba7-b870-458a-b2c6-9743adcc03df/Miyagi-2007-MODELING%20OF%20LONTALK%20ALGORITHM%20-%20Cobem.pdf
Vancouver
Igei Kaneshiro PJ, Melo JIG, Miyagi PE, Cugnasca CE. Modeling of lontalk algorithm in control networks [Internet]. Proceedings of COBEM. 2007 ;[citado 2025 nov. 27 ] Available from: https://repositorio.usp.br/directbitstream/2c2b8ba7-b870-458a-b2c6-9743adcc03df/Miyagi-2007-MODELING%20OF%20LONTALK%20ALGORITHM%20-%20Cobem.pdf
Relatorio tecnico
Modelagem de sistemas de controle distribuidos e colaborativos de sistemas produtivos (2005)
Matsusaki, Cristina Toshie Motohashi; Santos Filho, Diolino Jose dos
Unidade: EP
Assuntos: AUTOMAÇÃO INDUSTRIAL, SISTEMAS DISCRETOS, SISTEMAS DISTRIBUÍDOS, REDES DE PETRI
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MATSUSAKI, Cristina Toshie Motohashi e SANTOS FILHO, Diolino Jose dos. Modelagem de sistemas de controle distribuidos e colaborativos de sistemas produtivos. . São Paulo: EPUSP. Disponível em: https://repositorio.usp.br/directbitstream/bc95cc90-c8cd-47d1-9ec8-eb57236053a8/SantosF%C2%BA-2005-modelagem%20de%20sistemas%20de%20controle-BT-PMR-0504.pdf. Acesso em: 27 nov. 2025. , 2005
APA
Matsusaki, C. T. M., & Santos Filho, D. J. dos. (2005). Modelagem de sistemas de controle distribuidos e colaborativos de sistemas produtivos. São Paulo: EPUSP. Recuperado de https://repositorio.usp.br/directbitstream/bc95cc90-c8cd-47d1-9ec8-eb57236053a8/SantosF%C2%BA-2005-modelagem%20de%20sistemas%20de%20controle-BT-PMR-0504.pdf
NLM
Matsusaki CTM, Santos Filho DJ dos. Modelagem de sistemas de controle distribuidos e colaborativos de sistemas produtivos [Internet]. 2005 ;[citado 2025 nov. 27 ] Available from: https://repositorio.usp.br/directbitstream/bc95cc90-c8cd-47d1-9ec8-eb57236053a8/SantosF%C2%BA-2005-modelagem%20de%20sistemas%20de%20controle-BT-PMR-0504.pdf
Vancouver
Matsusaki CTM, Santos Filho DJ dos. Modelagem de sistemas de controle distribuidos e colaborativos de sistemas produtivos [Internet]. 2005 ;[citado 2025 nov. 27 ] Available from: https://repositorio.usp.br/directbitstream/bc95cc90-c8cd-47d1-9ec8-eb57236053a8/SantosF%C2%BA-2005-modelagem%20de%20sistemas%20de%20controle-BT-PMR-0504.pdf
Trabalho de evento
Modeling of distributed collaborative control systems of production systems (2005)
Matsusaki, Cristina Toshie Motohashi; Santos Filho, Diolino Jose dos
Fonte: COBEM 2005 : proceedings. Nome do evento: International Congress of Mechanical Engineering. Unidade: EP
Assuntos: SISTEMAS DISTRIBUÍDOS, SISTEMAS DE PRODUÇÃO, SISTEMAS DISCRETOS, REDES DE PETRI
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MATSUSAKI, Cristina Toshie Motohashi e SANTOS FILHO, Diolino Jose dos. Modeling of distributed collaborative control systems of production systems. 2005, Anais.. Rio de Janeiro: ABCM, 2005. Disponível em: https://repositorio.usp.br/directbitstream/bcb2a06d-e9fc-486d-833c-2fbd235de1ca/SantosF%C2%BA-2005-MODELING%20OF%20DISTRIBUTED%20COLLABORATIVE%20CONTROL%20SYSTEMS.pdf. Acesso em: 27 nov. 2025.
APA
Matsusaki, C. T. M., & Santos Filho, D. J. dos. (2005). Modeling of distributed collaborative control systems of production systems. In COBEM 2005 : proceedings. Rio de Janeiro: ABCM. Recuperado de https://repositorio.usp.br/directbitstream/bcb2a06d-e9fc-486d-833c-2fbd235de1ca/SantosF%C2%BA-2005-MODELING%20OF%20DISTRIBUTED%20COLLABORATIVE%20CONTROL%20SYSTEMS.pdf
NLM
Matsusaki CTM, Santos Filho DJ dos. Modeling of distributed collaborative control systems of production systems [Internet]. COBEM 2005 : proceedings. 2005 ;[citado 2025 nov. 27 ] Available from: https://repositorio.usp.br/directbitstream/bcb2a06d-e9fc-486d-833c-2fbd235de1ca/SantosF%C2%BA-2005-MODELING%20OF%20DISTRIBUTED%20COLLABORATIVE%20CONTROL%20SYSTEMS.pdf
Vancouver
Matsusaki CTM, Santos Filho DJ dos. Modeling of distributed collaborative control systems of production systems [Internet]. COBEM 2005 : proceedings. 2005 ;[citado 2025 nov. 27 ] Available from: https://repositorio.usp.br/directbitstream/bcb2a06d-e9fc-486d-833c-2fbd235de1ca/SantosF%C2%BA-2005-MODELING%20OF%20DISTRIBUTED%20COLLABORATIVE%20CONTROL%20SYSTEMS.pdf
Trabalho de evento
A control architecture for distributed production systems using a virtual cellular manufacturing and agents society based approach (2003)
Araújo Junior, Lindolpho Oliveira de; Maruyama, Newton ; Miyagi, Paulo Eigi ; Moscato, Lucas Antonio ; Santos Filho, Diolino Jose dos
Fonte: ISIE'2003. Nome do evento: IEEE International Symposium on Industrial Electronics. Unidade: EP
Assuntos: SISTEMAS DISCRETOS, SISTEMAS DISTRIBUÍDOS, INTELIGÊNCIA ARTIFICIAL, SISTEMAS DE MANUFATURAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ARAÚJO JUNIOR, Lindolpho Oliveira de et al. A control architecture for distributed production systems using a virtual cellular manufacturing and agents society based approach. 2003, Anais.. Piscataway: IEEE, 2003. Disponível em: https://repositorio.usp.br/directbitstream/8d4d1a25-95b7-4b28-bf52-793bb68757a9/Maruyama-2003-A%20Control%20Architecture%20for%20Distributed%20Production.pdf. Acesso em: 27 nov. 2025.
APA
Araújo Junior, L. O. de, Maruyama, N., Miyagi, P. E., Moscato, L. A., & Santos Filho, D. J. dos. (2003). A control architecture for distributed production systems using a virtual cellular manufacturing and agents society based approach. In ISIE'2003. Piscataway: IEEE. Recuperado de https://repositorio.usp.br/directbitstream/8d4d1a25-95b7-4b28-bf52-793bb68757a9/Maruyama-2003-A%20Control%20Architecture%20for%20Distributed%20Production.pdf
NLM
Araújo Junior LO de, Maruyama N, Miyagi PE, Moscato LA, Santos Filho DJ dos. A control architecture for distributed production systems using a virtual cellular manufacturing and agents society based approach [Internet]. ISIE'2003. 2003 ;[citado 2025 nov. 27 ] Available from: https://repositorio.usp.br/directbitstream/8d4d1a25-95b7-4b28-bf52-793bb68757a9/Maruyama-2003-A%20Control%20Architecture%20for%20Distributed%20Production.pdf
Vancouver
Araújo Junior LO de, Maruyama N, Miyagi PE, Moscato LA, Santos Filho DJ dos. A control architecture for distributed production systems using a virtual cellular manufacturing and agents society based approach [Internet]. ISIE'2003. 2003 ;[citado 2025 nov. 27 ] Available from: https://repositorio.usp.br/directbitstream/8d4d1a25-95b7-4b28-bf52-793bb68757a9/Maruyama-2003-A%20Control%20Architecture%20for%20Distributed%20Production.pdf

Unidades USP

ReP

Filtros

Autores

Autores USP

Assuntos

Título da fonte