Hochschulschrift

Putting it all together : formal verification of the VAMP

to connected objects

Location
Deutsche Nationalbibliothek Frankfurt am Main
Extent
Online-Ressource
Language
Englisch
Notes
Saarbrücken, Univ., Diss., 2005

Keyword
Zweiunddreißig-Bit-Mikroprozessor
RISC
Cache-Speicher
Schnittstelle
Hardwareverifikation
Formale Methode
Zweiunddreiig-Bit-Mikroprozessor ; Cache-Speicher ; RISC ; Hardwareverifikation ; Formale Methode

Creator
Beyer, Sven

URN
urn:nbn:de:bsz:291-scidok-13344
Rights
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Last update
25.03.2025, 1:43 PM CET

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Show original at data provider

Object type

  • Hochschulschrift

Associated

  • Beyer, Sven

Other Objects (12)

Putting it all together : formal verification of the VAMP

Hochschulschrift

Putting it all together : formal verification of the VAMP

Putting the Dragon together ... again.

Visuelle Materialien

Putting the Dragon together ... again.

Putting Together the Pieces of the Universe

zweidimensionales bewegtes Bild

Putting Together the Pieces of the Universe

Updating Embedded Systems - Putting it all Together

zweidimensionales bewegtes Bild

Updating Embedded Systems - Putting it all Together

Instantiating uninterepreted functional units and memory system : functional verification of the VAMP

Instantiating uninterepreted functional units and memory system : functional verification of the VAMP

Vivat Vamp!

Buch

Vivat Vamp!

After the Berlin Wall : putting two Germanys back together again

After the Berlin Wall : putting two Germanys back together again

Sengoku Vamp, 2

Comic

Sengoku Vamp, 2

Sengoku Vamp, 4

Comic

Sengoku Vamp, 4

Vamps, tramps & beauties

Bildband

Vamps, tramps & beauties

CiTy-VAMP

Graffiti | Streetart

CiTy-VAMP

CiTy-VAMP

Graffiti | Streetart

CiTy-VAMP

Related objects