Publicações

Teaching Formal Methods Within System-On-A-Programmable-Chip Design

AuthID
P-000-713

Author(s)

Gomes, L

Costa, A

Tipo de Documento

Proceedings Paper

Year published

2005

Publicado

in 2005 IEEE International Conference on Microelectronic Systems Education, Proceedings

Volume: 2005, Páginas: 105-106 (2)

Conference

Ieee International Conference on Microelectronic Systems Education, Date: JUN 12-13, 2005, Location: Anaheim, CA, Patrocinadores: IEEE Comp Soc Tech Comm Design Automat, IEEE Comp Soc Tech Comm Test Technol, IEEE Comp Soc Tech Comm VLSI

Indexing

Wos^®

Scopus^®

Crossref^®

Google Scholar^®

Metadata
Fontes

Publication Identifiers

DOI: 10.1109/mse.2005.53

SCOPUS: 2-s2.0-33746136081

Wos: WOS:000230426500050

Export Publication Metadata

Lista Marked

Adicionar à lista Marked

Info

At this moment we don't have any links to full text documens.

Teaching Formal Methods Within System-On-A-Programmable-Chip Design

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

Teaching Formal Methods Within System-On-A-Programmable-Chip Design

Links Úteis

Ajuda