A Functional Approach to the Formal Specification of Networks on Chip.

Julien Schmaltz, Dominique Borrione

Browse the full FMCAD paper archive.