On the algebraic reuse of hardware design (1998)
- Autor:
- Autor USP: MELO, ANA CRISTINA VIEIRA DE - IME
- Unidade: IME
- DOI: 10.1109/ISCAS.1998.705272
- Subjects: ÁLGEBRA; ENGENHARIA DE SOFTWARE
- Keywords: reusability; high-level synthesis; process algebras; bisimulation; interface equation
- Language: Inglês
- Imprenta:
- Publisher: IEEE
- Publisher place: Piscataway
- Date published: 1998
- Source:
- Título: Proceedings
- Conference titles: Internationa Symposium on Circuits and Systems - ISCAS
- Este periódico é de assinatura
- Este artigo NÃO é de acesso aberto
- Cor do Acesso Aberto: closed
-
ABNT
MELO, Ana Cristina Vieira de. On the algebraic reuse of hardware design. 1998, Anais.. Piscataway: IEEE, 1998. Disponível em: https://doi.org/10.1109/ISCAS.1998.705272. Acesso em: 06 out. 2024. -
APA
Melo, A. C. V. de. (1998). On the algebraic reuse of hardware design. In Proceedings. Piscataway: IEEE. doi:10.1109/ISCAS.1998.705272 -
NLM
Melo ACV de. On the algebraic reuse of hardware design [Internet]. Proceedings. 1998 ;[citado 2024 out. 06 ] Available from: https://doi.org/10.1109/ISCAS.1998.705272 -
Vancouver
Melo ACV de. On the algebraic reuse of hardware design [Internet]. Proceedings. 1998 ;[citado 2024 out. 06 ] Available from: https://doi.org/10.1109/ISCAS.1998.705272 - 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
- Proceedings of the II Workshop on Formal Methods, october 12-13, 1999, Florianópolis - SC - Brazil
- Testing the adherence of enterprise web applications to transactional patterns
Informações sobre o DOI: 10.1109/ISCAS.1998.705272 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas