A formal approach to the verification of networks on chip

Thumbnail Image

Files

Primary 76090.pdf (1.82 MB)

Date

2009

Authors

Borrione, Dominique
Helmy, Amr
Pierre, Laurence
Schmaltz, J. Julien

Journal Title

Journal ISSN

Volume Title

Publisher

Research Projects

Organizational Units

Journal Issue

Abstract

Description

Keywords

Citation

URI

https://hdl.handle.net/2066/76090

Collections

Academic research output

Endorsement

Review

Supplemented By

Referenced By