Eine Methode zur formalen Verifikation von RISC-Prozessoren

Karlsruhe, Univ., Diss., 1994

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Tahar, Sofiène (VerfasserIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	1994
Schlagworte:	Hochschulschrift > RISC > Formale Spezifikationstechnik > Hardwareverifikation
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	Karlsruhe, Univ., Diss., 1994
Beschreibung:	XII, 166 S graph. Darst