Eintrag weiter verarbeiten
Proof-Carrying Hardware: Concept and Prototype Tool Flow for Online Verification
Gespeichert in:
Zeitschriftentitel: | International Journal of Reconfigurable Computing |
---|---|
Personen und Körperschaften: | , , |
In: | International Journal of Reconfigurable Computing, 2010, 2010, S. 1-11 |
Format: | E-Article |
Sprache: | Englisch |
veröffentlicht: |
Hindawi Limited
|
Schlagwörter: |