Cargando…
Verification techniques for system-level design
| Autores principales: | , , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Morgan Kaufmann Publishers
2008
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/1512020 |
| _version_ | 1780928026688618496 |
|---|---|
| author | Fujita, Masahiro Ghosh, Indradeep Prasad, Mukul |
| author_facet | Fujita, Masahiro Ghosh, Indradeep Prasad, Mukul |
| author_sort | Fujita, Masahiro |
| collection | CERN |
| id | cern-1512020 |
| institution | Organización Europea para la Investigación Nuclear |
| language | eng |
| publishDate | 2008 |
| publisher | Morgan Kaufmann Publishers |
| record_format | invenio |
| spelling | cern-15120202021-04-21T23:32:16Zhttp://cds.cern.ch/record/1512020engFujita, MasahiroGhosh, IndradeepPrasad, MukulVerification techniques for system-level designComputing and ComputersMorgan Kaufmann Publishersoai:cds.cern.ch:15120202008 |
| spellingShingle | Computing and Computers Fujita, Masahiro Ghosh, Indradeep Prasad, Mukul Verification techniques for system-level design |
| title | Verification techniques for system-level design |
| title_full | Verification techniques for system-level design |
| title_fullStr | Verification techniques for system-level design |
| title_full_unstemmed | Verification techniques for system-level design |
| title_short | Verification techniques for system-level design |
| title_sort | verification techniques for system-level design |
| topic | Computing and Computers |
| url | http://cds.cern.ch/record/1512020 |
| work_keys_str_mv | AT fujitamasahiro verificationtechniquesforsystemleveldesign AT ghoshindradeep verificationtechniquesforsystemleveldesign AT prasadmukul verificationtechniquesforsystemleveldesign |