[IEEE 13th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC'07) - Berkeley, CA, USA (2007.03.12-2007.03.14)] 13th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC'07) - Formal Verification of CHP Specifications with CADP Illustration on an Asynchronous Network-on-Chip
Salaun, Gwen, Serwe, Wendelin, Thonnart, Yvain, Vivet, PascalYear:
2007
Language:
english
DOI:
10.1109/async.2007.18
File:
PDF, 212 KB
english, 2007