Media type: Book; Thesis Title: Ein Ansatz für die verifikationsgerechte Verhaltensmodellierung für die semi-formale Verifikation von Mixed-Signal-Schaltungen Contributor: Freibothe, Martin [Author] Published: 2009 Extent: X, 122 S.; graph. Darst Language: German RVK notation: ST 190 : Schaltungskreistechnik (techn.-physik.), Integrierte Schaltung, spez. Schaltkreise, VLSI, TTL, ECL etc. ZN 6025 : Signaltheorie; Signalverarbeitung Keywords: Hochschulschrift Origination: University thesis: Dresden, Techn. Univ., Fak. Informatik, Diss., 2009 Footnote:
Departmental Library DrePunct – open access area Shelf-mark: ST 190 F862 Item ID: 31753754 Status: To be used in the library, no dispatch by interlibrary loan; delivery of photocopies possible
Departmental Library DrePunct – stack Shelf-mark: R2017 8 3868 Item ID: 31753755 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order