PiG - Pi calculus gráfico (2003)
- Authors:
- Autor USP: MELO, ANA CRISTINA VIEIRA DE - IME
- Unidade: IME
- Assunto: ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS
- Language: Português
- Imprenta:
- Source:
- Conference titles: Simpósio Internacional de Iniciação Científica da USP
-
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: 01 nov. 2024. -
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 2024 nov. 01 ] -
Vancouver
Andrade AG, Melo ACV de. PiG - Pi calculus gráfico. Alguns Tabalhos do IME-USP para o 10o. SIICUSP. 2003 ;[citado 2024 nov. 01 ] - Bayesian networks in software maintenance management
- Towards MC/DC coverage of properties specification patterns
- Reusing hardware components with single-state processes
- A study on the potential active names of π-agents
- A formal environment model for multi-agent systems
- Testing Java exceptions: an instrumentation technique
- From test purposes to formal JPF properties
- Behaviorist agent architecture
- On the algebraic reuse of hardware design
- Proceedings of the II Workshop on Formal Methods, october 12-13, 1999, Florianópolis - SC - Brazil
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
