An AMBA−ARM7 Formal Verification Platform
| Asıl Yazarlar: | , |
|---|---|
| Materyal Türü: | Conference item |
| Baskı/Yayın Bilgisi: |
Springer−Verlag
2003
|
| _version_ | 1826288865865891840 |
|---|---|
| author | Susanto, K Melham, T |
| author_facet | Susanto, K Melham, T |
| author_sort | Susanto, K |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-07T02:20:11Z |
| format | Conference item |
| id | oxford-uuid:a3a543a6-f02c-47f2-9336-4ca03ad9e544 |
| institution | University of Oxford |
| last_indexed | 2024-03-07T02:20:11Z |
| publishDate | 2003 |
| publisher | Springer−Verlag |
| record_format | dspace |
| spelling | oxford-uuid:a3a543a6-f02c-47f2-9336-4ca03ad9e5442022-03-27T02:28:27ZAn AMBA−ARM7 Formal Verification PlatformConference itemhttp://purl.org/coar/resource_type/c_5794uuid:a3a543a6-f02c-47f2-9336-4ca03ad9e544Department of Computer ScienceSpringer−Verlag2003Susanto, KMelham, T |
| spellingShingle | Susanto, K Melham, T An AMBA−ARM7 Formal Verification Platform |
| title | An AMBA−ARM7 Formal Verification Platform |
| title_full | An AMBA−ARM7 Formal Verification Platform |
| title_fullStr | An AMBA−ARM7 Formal Verification Platform |
| title_full_unstemmed | An AMBA−ARM7 Formal Verification Platform |
| title_short | An AMBA−ARM7 Formal Verification Platform |
| title_sort | amba arm7 formal verification platform |
| work_keys_str_mv | AT susantok anambaarm7formalverificationplatform AT melhamt anambaarm7formalverificationplatform AT susantok ambaarm7formalverificationplatform AT melhamt ambaarm7formalverificationplatform |