Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Zur Ergebnisliste
    Datensatz exportieren als...
  • BibTeX
Eine Methode zur formalen Verifikation von RISC-Prozessen
Fortschritt-Berichte VDI : Reihe 10, Informatik, Kommunikationstechnik : 350 (Alle Bände)
Als Ms. gedr, 1995
Signatur: TWD1587

Details

Autor(en) / Beteiligte
Titel
Eine Methode zur formalen Verifikation von RISC-Prozessen
Ist Teil von
Auflage
Als Ms. gedr
Ort / Verlag
Düsseldorf : VDI-Verl.
Erscheinungsjahr
1995
Link zu anderen Inhalten
Sprache
Deutsch
Identifikatoren
ISBN: 3183350106
OCLC-Nummer: 889678949, 889678949
Titel-ID: 990006766730106463
Format
XII, 162 S. : graph. Darst.
Systemstelle
TWD
Schlagworte
RISC, Formale Spezifikationstechnik, Hardwareverifikation

Lade weitere Informationen...