A Refinement Approach to Design and Verification of On−Chip Communication Protocols
| Main Authors: | , |
|---|---|
| Format: | Conference item |
| Published: |
IEEE
2008
|
| Main Authors: | , |
|---|---|
| Format: | Conference item |
| Published: |
IEEE
2008
|