• Medientyp: E-Book; Hochschulschrift
  • Titel: Formal verification methodologies for nonlinear analog circuits
  • Beteiligte: Steinhorst, Sebastian [Verfasser]
  • Umfang: Online-Ressource
  • Sprache: Englisch
  • Identifikator:
  • Schlagwörter: Verifikation ; Elektronik ; Entwurfsautomation ; Analoges System ; Hochschulschrift
  • Entstehung:
  • Hochschulschrift: Frankfurt (Main), Univ., Diss., 2011
  • Anmerkungen:
  • Zugangsstatus: Freier Zugang