A Generic Model for Formally Verifying NoC Communication Architectures: A Case Study

There is no fulltext present in this item.

Title:	A Generic Model for Formally Verifying NoC Communication Architectures: A Case Study
Author(s):	Borrione, Dominique; Helmy, Amr; Pierre, Laurence; Schmaltz, J.
Publication year:	2007
In:	Friedman, Eby; Wolf, Wayne (ed.), IEEE First International Symposium on Networks-on-Chips, NOCS 2007, pp. 127-136
Publisher:	Princeton, New Jersey, USA : IEEE Computer Society
Publication type:	Article in monograph or in proceedings
Please use this identifier to cite or link to this item : https://hdl.handle.net/2066/34541
Display more details
Editor(s):	Friedman, Eby; Wolf, Wayne
Subject:	Informatics for Technical Applications
Organization:	Informatics for Technical Applications
Book title:	Friedman, Eby; Wolf, Wayne (ed.), IEEE First International Symposium on Networks-on-Chips, NOCS 2007
Page start:	p. 127
Page end:	p. 136