Synchronous protocol automata: a framework for modelling and verification of SoC communication architectures

• Autores: S. Ramesh, V. D silva, A. Sowmya
• Localización: IEE Proceedings: Computers and digital techniques, ISSN 1350-2387, Vol. 152, Nº 1, 2005, págs. 20-27
• Idioma: inglés
• DOI: 10.1049/ip-cdt:20045097
• Texto completo no disponible (Saber más ...)