![](/img/cover-not-exists.png)
[ACM Press the twenty-first annual symposium - Gramado, Brazil (2008.09.01-2008.09.04)] Proceedings of the twenty-first annual symposium on Integrated circuits and system design - SBCCI '08 - Executable formal specification and validation of NoC communication infrastructures
Borrione, Dominique, Helmy, Amr, Pierre, Laurence, Schmaltz, JulienYear:
2008
Language:
english
DOI:
10.1145/1404371.1404421
File:
PDF, 231 KB
english, 2008