ReP USP - Resultado da busca

Trabalho de evento-anais periodico
Revising system specifications in temporal logic (2022)
Guerra, Paulo T ; Wassermann, Renata
Source: Journal of Logic, Language and Information. Conference titles: Workshop on Logic, Language, Information and Computation - WoLLIC. Unidade: IME
Subjects: REVISÃO DE CRENÇAS, LÓGICA MATEMÁTICA, ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GUERRA, Paulo T e WASSERMANN, Renata. Revising system specifications in temporal logic. Journal of Logic, Language and Information. Dordrecht: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://doi.org/10.1007/s10849-022-09376-9. Acesso em: 28 nov. 2025. , 2022
APA
Guerra, P. T., & Wassermann, R. (2022). Revising system specifications in temporal logic. Journal of Logic, Language and Information. Dordrecht: Instituto de Matemática e Estatística, Universidade de São Paulo. doi:10.1007/s10849-022-09376-9
NLM
Guerra PT, Wassermann R. Revising system specifications in temporal logic [Internet]. Journal of Logic, Language and Information. 2022 ; 31( 4): 591-618.[citado 2025 nov. 28 ] Available from: https://doi.org/10.1007/s10849-022-09376-9
Vancouver
Guerra PT, Wassermann R. Revising system specifications in temporal logic [Internet]. Journal of Logic, Language and Information. 2022 ; 31( 4): 591-618.[citado 2025 nov. 28 ] Available from: https://doi.org/10.1007/s10849-022-09376-9
Trabalho de evento
PiG - Pi calculus gráfico (2003)
Andrade, André Gustavo; Melo, Ana Cristina Vieira de
Source: Alguns Tabalhos do IME-USP para o 10o. SIICUSP. Conference titles: Simpósio Internacional de Iniciação Científica da USP. Unidade: IME
Assunto: ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ANDRADE, André Gustavo e MELO, Ana Cristina Vieira de. PiG - Pi calculus gráfico. 2003, Anais.. São Paulo: IME-USP, 2003. . Acesso em: 28 nov. 2025.
APA
Andrade, A. G., & Melo, A. C. V. de. (2003). PiG - Pi calculus gráfico. In Alguns Tabalhos do IME-USP para o 10o. SIICUSP. São Paulo: IME-USP.
NLM
Andrade AG, Melo ACV de. PiG - Pi calculus gráfico. Alguns Tabalhos do IME-USP para o 10o. SIICUSP. 2003 ;[citado 2025 nov. 28 ]
Vancouver
Andrade AG, Melo ACV de. PiG - Pi calculus gráfico. Alguns Tabalhos do IME-USP para o 10o. SIICUSP. 2003 ;[citado 2025 nov. 28 ]
Dissertação (Mestrado)
Politicas hipercone para sistemas de manufatura flexiveis (1994)
Brandão, Leônidas de Oliveira ; Humes Júnior, Carlos (Orientador)
Unidade: IME
Assunto: ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BRANDÃO, Leônidas de Oliveira. Politicas hipercone para sistemas de manufatura flexiveis. 1994. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 1994. Disponível em: https://teses.usp.br/teses/disponiveis/45/45132/tde-20210729-005012/. Acesso em: 28 nov. 2025.
APA
Brandão, L. de O. (1994). Politicas hipercone para sistemas de manufatura flexiveis (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45132/tde-20210729-005012/
NLM
Brandão L de O. Politicas hipercone para sistemas de manufatura flexiveis [Internet]. 1994 ;[citado 2025 nov. 28 ] Available from: https://teses.usp.br/teses/disponiveis/45/45132/tde-20210729-005012/
Vancouver
Brandão L de O. Politicas hipercone para sistemas de manufatura flexiveis [Internet]. 1994 ;[citado 2025 nov. 28 ] Available from: https://teses.usp.br/teses/disponiveis/45/45132/tde-20210729-005012/
Dissertação (Mestrado)
Contribuição à análise de sistemas com servidores lentos (1992)
Cabral, Fabricio Bandeira; Humes Júnior, Carlos (Orientador)
Unidade: IME
Assunto: ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CABRAL, Fabricio Bandeira. Contribuição à análise de sistemas com servidores lentos. 1992. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 1992. Disponível em: https://teses.usp.br/teses/disponiveis/45/45132/tde-20220712-114257/. Acesso em: 28 nov. 2025.
APA
Cabral, F. B. (1992). Contribuição à análise de sistemas com servidores lentos (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45132/tde-20220712-114257/
NLM
Cabral FB. Contribuição à análise de sistemas com servidores lentos [Internet]. 1992 ;[citado 2025 nov. 28 ] Available from: https://teses.usp.br/teses/disponiveis/45/45132/tde-20220712-114257/
Vancouver
Cabral FB. Contribuição à análise de sistemas com servidores lentos [Internet]. 1992 ;[citado 2025 nov. 28 ] Available from: https://teses.usp.br/teses/disponiveis/45/45132/tde-20220712-114257/

USP Schools

ReP

Filtros

Authors