Search
Add filters:
Use filters to refine the search results.
Results 1-2 of 2 (Search time: 0.002 seconds).
- previous
- 1
- next
Item hits:
Preview | Issue Date | Title | Author(s) |
---|---|---|---|
2010 | Transfer-resource graph and petri-net for system-on-chip verification | Xu, X.; Lim, C.; Pawlewski, P. | |
2010 | Modeling interrupts for software-based system-on-chip verification | Xu, X.; Lim, C. |