Reusing hardware components with single-state processes (1999)
- Autor:
- Autor USP: MELO, ANA CRISTINA VIEIRA DE - IME
- Unidade: IME
- DOI: 10.1109/SBCCI.1999.803102
- Subjects: HARDWARE; ÁLGEBRA; CIRCUITOS INTEGRADOS; MODELOS MATEMÁTICOS
- Keywords: formal reuse; equivalences up to functions; process algebras and verification
- Language: Inglês
- Imprenta:
- Publisher: IEEE
- Publisher place: Piscataway
- Date published: 1999
- Source:
- Título: Proceedings
- Conference titles: Symposium on Integrated Circuits and Systems Design - SBCCI
- Este periódico é de assinatura
- Este artigo NÃO é de acesso aberto
- Cor do Acesso Aberto: closed
-
ABNT
MELO, Ana Cristina Vieira de. Reusing hardware components with single-state processes. 1999, Anais.. Piscataway: IEEE, 1999. Disponível em: https://doi.org/10.1109/SBCCI.1999.803102. Acesso em: 28 dez. 2025. -
APA
Melo, A. C. V. de. (1999). Reusing hardware components with single-state processes. In Proceedings. Piscataway: IEEE. doi:10.1109/SBCCI.1999.803102 -
NLM
Melo ACV de. Reusing hardware components with single-state processes [Internet]. Proceedings. 1999 ;[citado 2025 dez. 28 ] Available from: https://doi.org/10.1109/SBCCI.1999.803102 -
Vancouver
Melo ACV de. Reusing hardware components with single-state processes [Internet]. Proceedings. 1999 ;[citado 2025 dez. 28 ] Available from: https://doi.org/10.1109/SBCCI.1999.803102 - Bayesian networks in software maintenance management
- Towards MC/DC coverage of properties specification patterns
- OCONGRA - ferramenta para criação de grafos de fluxo de controle de objetos
- PiG - Pi calculus gráfico
- On the composition of Java frameworks control-flows
- A strategy for the formal composition of frameworks
- Exercising Java exceptions using Java Pathfinder and program instrumentation
- Business rules: from SBVR to information systems
- PiStache: implementing π-calculus in scala
- On the composition of Java frameworks control-flows
Informações sobre o DOI: 10.1109/SBCCI.1999.803102 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas