Media type: Book Title: Validationskonzept für einen komplexen Prozessorschaltkreis Contributor: Gulbins, Matthias [Author]; Straube, Bernd [Author] Published: Dresden [u.a.]: Techn. Univ., 1997 Published in: Sonderforschungsbereich Automatisierter Systementwurf, Synthese, Test, Verifikation, Dedizierte Anwendungen: SFB 358 ; 97,1 Extent: 15 S.; graph. Darst Language: German RVK notation: ST 170 : Prozessoren, Mikroprogrammierung, Firmware (RISC-Prozesssoren), Transputer Keywords: Forschungsbericht Origination: Footnote:
Departmental Library DrePunct – stack Shelf-mark: 1998 4 022169 001 Item ID: 10369623 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order