Dominique Borrione, Amr Helmy, Laurence Pierre, Julien Schmaltz. Executable formal specification and validation of NoC communication infrastructures. In Marcelo Lubaszewski, Michel Renovell, Rajesh K. Gupta, editors, Proceedings of the 21st Annual Symposium on Integrated Circuits and Systems Design, SBCCI 2008, Gramado, Brazil, September 1-4, 2008. pages 176-181, ACM, 2008. [doi]
Abstract is missing.